Relations de simulation approchées pour la vérification des systèmes dynamiques continus et hybrides - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Relations de simulation approchées pour la vérification des systèmes dynamiques continus et hybrides

Antoine Girard
Fichier non déposé

Dates et versions

hal-00171715 , version 1 (12-09-2007)

Identifiants

  • HAL Id : hal-00171715 , version 1

Citer

Antoine Girard. Relations de simulation approchées pour la vérification des systèmes dynamiques continus et hybrides. Groupe de travail "Systèmes Dynamiques Hybrides", Feb 2006, Paris, France. ⟨hal-00171715⟩
40 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More