Timed Model Checking

Béatrice Bérard 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Type de document :
Chapitre d'ouvrage
Communicating Embedded Systems -- Software and Design, ISTE Publishing / John Wiley, 2009, 978-1-8482-1143-8. 〈10.1002/9781118558188.ch2〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01298307
Contributeur : Lip6 Publications <>
Soumis le : mardi 5 avril 2016 - 17:19:07
Dernière modification le : jeudi 22 novembre 2018 - 14:28:01

Identifiants

Collections

Citation

Béatrice Bérard. Timed Model Checking. Communicating Embedded Systems -- Software and Design, ISTE Publishing / John Wiley, 2009, 978-1-8482-1143-8. 〈10.1002/9781118558188.ch2〉. 〈hal-01298307〉

Partager

Métriques

Consultations de la notice

107