Article Dans Une Revue
Journal Européen des Systèmes Automatisés (JESA)
Année : 2007
Marie-Anne Lefebvre : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00204246
Soumis le : lundi 14 janvier 2008-11:27:57
Dernière modification le : lundi 2 septembre 2024-16:44:23
Dates et versions
Identifiants
- HAL Id : hal-00204246 , version 1
Citer
Othman Nasri, Marie-Anne Lefebvre, Hervé Guéguen, J. Zaytoon. Vérification de sûreté et atteignabilité des systèmes hybrides. Etat de l'art. Journal Européen des Systèmes Automatisés (JESA), 2007, 41 (n°7-8), pp.855-912. ⟨hal-00204246⟩
Collections
99
Consultations
0
Téléchargements