Compositional Verification for Hierarchical Scheduling of Real-Time Systems
No Thumbnail Available
Files
Date
2013
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of electrical and electronics engineers
Abstract
Description
638-657 p. ; 2.338ko.
Keywords
Vérification de modèles (informatique), Logiciels : Vérification, Systèmes, Analyse de, Planification des systèmes en temps réel, Vérification de la composition pour hierarchical