Publications

Export results:
Type [ Year(Asc)]
Filters: Author is Tuya, Javier  [Clear All Filters]
1995
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)