Publication

Export 15 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is Moura, Arnaldo Vieira  [Clear All Filters]
2000
Bonifácio A L, Moura A V, Camargo Jr. J B, Almeida Jr. J R.  2000.  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.
Bonifácio A L, Moura A V, Camargo Jr. J B, Almeida Jr J R.  2000.  Formal Verification and Synthesis for an Air Traffic Management System. :37.
Bonifácio A L, Moura A V.  2000.  Modeling and Parameters Synthesis for an Air Traffic Management System. FMCAD '00: Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design. 1954:316–334.
2008
Bonifácio A L, Moura A V, da Simão A.  2008.  A Generalized Model-based Test Generation Method. :22.
Bonifácio A L, Moura A V, da Simão A.  2008.  A Generalized Model-Based Test Generation Method. Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM. :139–148.
Bonifácio A L, Moura A V, Simao A, Maldonado J C.  2008.  Towards Deriving Test Sequences by Model Checking. Electron. Notes Theor. Comput. Sci.. 195:21–40.