Article Dans Une Revue
Control Engineering Practice
Année : 2004
Katell Kervella : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00783389
Soumis le : vendredi 1 février 2013-09:18:30
Dernière modification le : lundi 2 septembre 2024-16:44:23
Dates et versions
Identifiants
- HAL Id : hal-00783389 , version 1
Citer
Hervé Guéguen, J. Zaytoon. On the formal vérification of hybrid systems. Control Engineering Practice, 2004, 12 (10), pp.1253-1267. ⟨hal-00783389⟩
Collections
100
Consultations
0
Téléchargements