Conference Papers
Year : 2008
Myriam Andrieux : Connect in order to contact the contributor
https://centralesupelec.hal.science/hal-00326039
Submitted on : Wednesday, October 1, 2008-11:52:48 AM
Last modification on : Friday, March 24, 2023-2:52:51 PM
Dates and versions
Identifiers
- HAL Id : hal-00326039 , version 1
Cite
Hervé Guéguen, Marie-Anne Lefebvre, Othman Nasri, J. Zaytoon. Safety Verification and reachability analysis for hybrid systems.. 17th IFAC World Congress 2008, Jul 2008, Séoul, South Korea. 8949-8959 (11 p.). ⟨hal-00326039⟩
Collections
134
View
0
Download