Export 15 results:Sort by: Author Title Type [ Year]
Filters: Author is Moura, Arnaldo Vieira [Clear All Filters]
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.
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.
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.. 2000.
Conformance Testing by Model Checking Timed Extended Finite State Machines. Brazilian Symposium on Formal Methods (SBMF'06). :43–58.. 2006.
A Generalized Model-Based Test Generation Method. Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM. :139–148.. 2008.
Towards Deriving Test Sequences by Model Checking. Electron. Notes Theor. Comput. Sci.. 195:21–40.. 2008.
A new method for testing timed systems. Softw. Test., Verif. Reliab... 2011.