Communication Dans Un Congrès
Année : 2011
Bertrand Revol : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01688842
Soumis le : vendredi 19 janvier 2018-17:42:16
Dernière modification le : lundi 7 août 2023-15:22:08
Dates et versions
Identifiants
- HAL Id : hal-01688842 , version 1
Citer
Romain Soulat, Bertrand Revol, Laurent Fribourg. Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems. International Workshop on Verification of Infinite State Systems (INFINITY), 2011, Taipei, Taiwan. ⟨hal-01688842⟩
Collections
54
Consultations
0
Téléchargements