Skip to Main content Skip to Navigation
Journal articles

Vérification de sûreté et atteignabilité des systèmes hybrides. Etat de l'art

Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00204246
Contributor : Marie-Anne Lefebvre <>
Submitted on : Monday, January 14, 2008 - 11:27:57 AM
Last modification on : Monday, November 16, 2020 - 2:18:16 PM

Identifiers

  • HAL Id : hal-00204246, version 1

Citation

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), Lavoisier, 2007, 41 (n°7-8), pp.855-912. ⟨hal-00204246⟩

Share

Metrics

Record views

271