Article Dans Une Revue
Journal Européen des Systèmes Automatisés
Année : 2007
Connectez-vous pour contacter le contributeur
https://hal.science/hal-00204246
Soumis le : lundi 14 janvier 2008-11:27:57
Dernière modification le : jeudi 16 avril 2026-15:58:44
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, 2007, 41 (n°7-8), pp.855-912. ⟨hal-00204246⟩
Collections
181
Consultations
0
Téléchargements