Publications

×

Error message

  • Notice: Trying to access array offset on value of type null in bootstrap_pager() (line 47 of /var/www/html/sites/all/themes/bootstrap/templates/system/pager.func.php).
  • Notice: Trying to access array offset on value of type null in bootstrap_pager() (line 53 of /var/www/html/sites/all/themes/bootstrap/templates/system/pager.func.php).
  • Notice: Trying to access array offset on value of type null in bootstrap_pager() (line 95 of /var/www/html/sites/all/themes/bootstrap/templates/system/pager.func.php).
Export results:
Type [ Year(Asc)]
Filters: Author is Corrales, Jose A.  [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)