Publication

Export 15 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is Adilson Luiz Bonifácio  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
D
Junior G, Bonifácio A L.  2012.  Detecção de Falhas em Autômatos Grid. XIII Workshop de Teste e Tolerância a Falhas. :131–144.
M
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.
Bonifácio A L, Gomes FAL.  2004.  Modelos Orientados a Estado na Especificação de Software. Semina. Ciências Exatas e Tecnológicas (Impresso). 25:163–170.
Bonifácio A L, Moura AV, Simao A.  2012.  Model Partitions and Compact Test Case Suites. International Journal of Foundations of Computer Science. 23:147-172.