Abstraction of hybrid systems for verification - Archive ouverte HAL Access content directly
Conference Papers Year :

Abstraction of hybrid systems for verification

Domains

Engineering Sciences [physics] Automatic

Myriam Andrieux  : Connect in order to contact the contributor

https://hal-centralesupelec.archives-ouvertes.fr/hal-00365657

Submitted on : Wednesday, March 4, 2009-9:19:34 AM

Last modification on : Friday, March 24, 2023-2:52:51 PM

Not file

Dates and versions

hal-00365657 , version 1 (04-03-2009)

Identifiers

  • HAL Id : hal-00365657 , version 1

Cite

Hervé Guéguen, J. Zaytoon. Abstraction of hybrid systems for verification. Fourth international conference on control sciences, Jan 2009, Moscou, Russia. ⟨hal-00365657⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-NANTES UNIV-RENNES1 CNRS URCA INSA-RENNES IETR SUP_ASH SUP_IETR CENTRALESUPELEC TDS-MACS UR1-MATH-STIC UR1-UFR-ISTIC IETR-AUT CRESTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM NANTES-UNIVERSITE
119 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More