Conformance testing by model checking timed extended finite state machines (2006)
Bonifacio, Adilson L; Moura, Arnaldo Vieira; Simão, Adenilso da Silva 
; Maldonado, José Carlos
Source: Proceedings. Conference titles: Brazilian Symposium on formal Methods. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BONIFACIO, Adilson L et al. Conformance testing by model checking timed extended finite state machines. 2006, Anais.. Natal: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 2006. . Acesso em: 03 ago. 2024.APA
Bonifacio, A. L., Moura, A. V., Simão, A. da S., & Maldonado, J. C. (2006). Conformance testing by model checking timed extended finite state machines. In Proceedings. Natal: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.NLM
Bonifacio AL, Moura AV, Simão A da S, Maldonado JC. Conformance testing by model checking timed extended finite state machines. Proceedings. 2006 ;[citado 2024 ago. 03 ]Vancouver
Bonifacio AL, Moura AV, Simão A da S, Maldonado JC. Conformance testing by model checking timed extended finite state machines. Proceedings. 2006 ;[citado 2024 ago. 03 ]
