Verification of rectangular hybrid automata models

Verification of rectangular hybrid automata models

Isabella Kotini, George Hassapis
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
79
Année:
2006
Langue:
english
Pages:
11
DOI:
10.1016/j.jss.2006.01.016
Fichier:
PDF, 258 KB
english, 2006
La conversion en est effectuée
La conversion en a échoué