Model checking temporisé

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-01299143
Contributor : Lip6 Publications <>
Submitted on : Thursday, April 7, 2016 - 11:39:23 AM
Last modification on : Thursday, March 21, 2019 - 1:12:01 PM

Identifiers

  • HAL Id : hal-01299143, version 1

Citation

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⟩

Share

Metrics

Record views

76