Export 15 results:Sort by: Author [ Title] Type Year
Filters: Author is Adilson Luiz Bonifácio [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.
Conformance Testing by Model Checking Timed Extended Finite State Machines. Brazilian Symposium on Formal Methods (SBMF'06). :43–58.. 2006.
Detecção de Falhas em Autômatos Grid. XIII Workshop de Teste e Tolerância a Falhas. :131–144.. 2012.
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.
A Generalized Model-Based Test Generation Method. Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM. :139–148.. 2008.
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.
Modelos Orientados a Estado na Especificação de Software. Semina. Ciências Exatas e Tecnológicas (Impresso). 25:163–170.. 2004.
Model Partitions and Compact Test Case Suites. International Journal of Foundations of Computer Science. 23:147-172.. 2012.
A new method for testing timed systems. Softw. Test., Verif. Reliab... 2011.
A tool to support model-based testing activities. SBESC 2011 - WSE. :21-26.. 2011.
Towards Deriving Test Sequences by Model Checking. Electron. Notes Theor. Comput. Sci.. 195:21–40.. 2008.