Export 15 results:Sort by: Author Title Type [ Year]
Filters: Author is Camargo Jr., João Batista [Clear All Filters]
Formal Parameters Synthesis for Track Segments of a Subway Mesh. 7th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems. :263–272.. 2000.
Análise e Verificação de Segmentos de Via de uma Malha Metroviária. Proceedings of the II Workshop on Formal Methods. :13–22.. 1999.