Vérification efficace des systèmes finis

Jean-Michel Ilié 1 Yann Thierry-Mieg 1 Souheib Baarir 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01351790
Contributor : Lip6 Publications <>
Submitted on : Thursday, August 4, 2016 - 5:03:22 PM
Last modification on : Wednesday, May 15, 2019 - 3:40:18 AM

Identifiers

  • HAL Id : hal-01351790, version 1

Citation

Jean-Michel Ilié, Yann Thierry-Mieg, Souheib Baarir. Vérification efficace des systèmes finis. Méthodes Formelles pour les Systèmes Répartis et Coopératifs, Hermes-Lavoisier, pp.171-211, 2006, Traités IC2 - Informatique et systèmes d'information, 2-7462-1447-4. ⟨hal-01351790⟩

Share

Metrics

Record views

134