Using Timed Automata for Modeling Distributed Systems with Clocks : Challenges and Solutions
No Thumbnail Available
Files
Date
2013
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of electrical and electronics engineers
Abstract
Description
857-868 p. ; 824ko.
Keywords
Vérification de modèles (informatique), Model checking, Automate chronométré, Automate hybride