Exécution de notre outil de synthèse sur un nouvel article
Vérifiez l’article ci-dessous, puis lancez sa synthèse.
HyTech: A model checker for hybrid systems
Thomas A. Henzinger (University of California, Berkeley), Pei-Hsin Ho (Intel (United States)), Howard Wong-Toi
Lecture notes in computer science
DOI: 10.1007/3-540-63166-6_48 (Computer Science)
Licence : non indiquée (tous droits réservés)
Publié le 01 Jan. 1997