Model checking temporisé

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
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
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01299143
Contributeur : Lip6 Publications <>
Soumis le : jeudi 7 avril 2016 - 11:39:23
Dernière modification le : jeudi 22 novembre 2018 - 14:10:38

Identifiants

  • HAL Id : hal-01299143, version 1

Collections

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〉

Partager

Métriques

Consultations de la notice

74