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

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00171715
Contributor : Brigitte Bidegaray-Fesquet <>
Submitted on : Wednesday, September 12, 2007 - 9:35:35 PM
Last modification on : Tuesday, October 29, 2019 - 11:10:16 AM

Identifiers

  • HAL Id : hal-00171715, version 1

Collections

IMAG | CNRS | UGA

Citation

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⟩

Share

Metrics

Record views

43