Conformance Testing by Model Checking Timed Extended Finite State Machines

BONIFÁCIO, A. L. ; SIMÃO, A. S. ; MOURA, A. ; MALDONADO, J. C. . Conformance Testing by Model Checking Timed Extended Finite State Machines.. In: Simpósio Brasileiro de Métodos Formais, 2006, Natal. Simpósio Brasileiro de Métodos Formais, 2006. v. 1. p. 43-58.

2006