Vérification des Systèmes Hybrides, état de l'art

Hervé Guéguen (1) , J. Zaytoon (2)

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

Hervé Guéguen, J. Zaytoon. Vérification des Systèmes Hybrides, état de l'art. Journal Européen des Systèmes Automatisés (JESA), 2004, 38 (1-2), pp.145-175. ⟨hal-00783388⟩