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

Othman Nasri (1) , Marie-Anne Lefebvre (1) , Hervé Guéguen (2) , J. Zaytoon (3)

1 IETR - Institut d'Electronique et de Télécommunications de Rennes
2 IETR - Institut d'Électronique et des Technologies du numéRique
3 CRESTIC - Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804

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⟩