Vérification des Systèmes Hybrides, état de l'art - Archive ouverte HAL
Article Dans Une Revue Journal Européen des Systèmes Automatisés (JESA) Année : 2004

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

Katell Kervella  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00783388

Soumis le : vendredi 1 février 2013-09:15:35

Dernière modification le : lundi 2 septembre 2024-16:44:23

Fichier non déposé

Dates et versions

hal-00783388 , version 1 (01-02-2013)

Identifiants

  • HAL Id : hal-00783388 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES UNIV-RENNES1 CNRS URCA INSA-RENNES IETR SUP_ASH SUP_IETR UR1-MATH-STIC UR1-UFR-ISTIC IETR-AUT CRESTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM NANTES-UNIVERSITE
147 Consultations
0 Téléchargements

Partager

More