Luiz Henrique Castelo Branco

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance, but also could help the construction of tools able to derive implementations automatically. In order to attend such a need, some Formal Description Techniques (FDT's) have been(More)
  • 1