Publications

Export results:
[ Type(Asc)] Year
Filters: Author is Corrales, Jose A.  [Clear All Filters]
Conference Paper
Using a symbolic model checker for verify safety properties in SA/RT models, Tuya, Javier, Sánchez Luciano, and Corrales Jose A. , Software Engineering –- ESEC '95, Berlin, Heidelberg, p.59–75, (1995)