Timed Model Checking

Béatrice Bérard 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Book sections
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01298307
Contributor : Lip6 Publications <>
Submitted on : Tuesday, April 5, 2016 - 5:19:07 PM
Last modification on : Thursday, March 21, 2019 - 1:11:53 PM

Identifiers

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〉

Share

Metrics

Record views

108