Chapitre D'ouvrage
Année : 2008
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01299143
Soumis le : jeudi 7 avril 2016-11:39:23
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01299143 , version 1
Citer
Béatrice Bérard. Model checking temporisé. Approches formelles des systèmes embarqués communicants, Hermes/Lavoisier, pp.75-103, 2008, Traités IC2 - Informatique et systèmes d'information, 978-2-7462-1942-7. ⟨hal-01299143⟩
Collections
59
Consultations
0
Téléchargements