Communication Dans Un Congrès
Année : 2008
Myriam Andrieux : Connectez-vous pour contacter le contributeur
https://centralesupelec.hal.science/hal-00326039
Soumis le : mercredi 1 octobre 2008-11:52:48
Dernière modification le : vendredi 19 avril 2024-13:44:22
Dates et versions
Identifiants
- HAL Id : hal-00326039 , version 1
Citer
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
138
Consultations
0
Téléchargements