Communication Dans Un Congrès
Année : 2008
Anne-Lise Gehin : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00781660
Soumis le : lundi 28 janvier 2013-10:25:50
Dernière modification le : mercredi 24 janvier 2024-09:54:22
Dates et versions
Identifiants
- HAL Id : hal-00781660 , version 1
Citer
He-Xuan Hu, Anne-Lise Gehin, Mireille Bayart. A formal framework of reconfigurable control based on model checking. American Control Conference, Jun 2008, Seatle, United States. ⟨hal-00781660⟩
Collections
81
Consultations
0
Téléchargements