Italo Romani de Oliveira

2012

Jiří Barnat, Luboš Brim, Jan Beran, Tomáš Kratochvíla, and Italo Romani de Oliveira:
Executing Model Checking Counterexamples in Simulink,
IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering, IEEE Computer Society, 2012, 245-248. [bibtex]