On the formal vérification of hybrid systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Control Engineering Practice Année : 2004
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00783389 , version 1

Citer

Hervé Guéguen, J. Zaytoon. On the formal vérification of hybrid systems. Control Engineering Practice, 2004, 12 (10), pp.1253-1267. ⟨hal-00783389⟩
94 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More