Communication Dans Un Congrès
Année : 2004
Katell Kervella : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00907959
Soumis le : vendredi 22 novembre 2013-10:24:42
Dernière modification le : lundi 2 septembre 2024-16:44:23
Dates et versions
Identifiants
- HAL Id : hal-00907959 , version 1
Citer
Hervé Guéguen, J. Zaytoon. Abstractions événementielles et approximations pour la vérification des systèmes dynamiques hybrides. CIFA 2004, Nov 2004, Douz, Tunisie. ⟨hal-00907959⟩
Collections
94
Consultations
0
Téléchargements