Probabilistic Interface Automata
No Thumbnail Available
Files
Date
2016
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of electrical and electronics engineers
Abstract
Description
843-865 p. ; 879ko.
Keywords
Ingénierie de la fiabilité, Langages formels, AUTOMATH (langage formel), Automates mathématiques, Théorie des, Interface Automata, Vérification de modèles