Chapitre D'ouvrage
Année : 2017
Antoine Girard : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01620555
Soumis le : vendredi 20 octobre 2017-16:54:54
Dernière modification le : lundi 18 mars 2024-03:05:31
Dates et versions
Identifiants
- HAL Id : hal-01620555 , version 1
Citer
Matthias Rungger, Antoine Girard, Paulo Tabuada. Symbolic synthesis for cyber-physical systems. Raj Rajkumar; Dionisio de Niz; Mark Klein. Cyber-Physical Systems, Addison Wesley, 2017, SEI Series in Software Engineering. ⟨hal-01620555⟩
Collections
221
Consultations
0
Téléchargements