Vérification distribuée des systèmes complexes.
No Thumbnail Available
Date
2012
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
104 p. : ill. ; 30 cm. (+ CD-Rom)
Keywords
Espace des états, Méthodes de l', Petri, Réseaux de, Théorèmes : Démonstration automatique, Logique temporelle, Systèmes, Analyse de