Compositional Verification for Hierarchical Scheduling of Real-Time Systems
No Thumbnail Available
Files
Date
2013
Authors
Carnevali, Laura
Pinzuti, Alessandro
Vicario, Enrico
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