![](/img/cover-not-exists.png)
Compositional Verification for Hierarchical Scheduling of Real-Time Systems
Carnevali, Laura, Pinzuti, Alessandro, Vicario, EnricoVolume:
39
Language:
english
Journal:
IEEE Transactions on Software Engineering
DOI:
10.1109/tse.2012.54
Date:
May, 2013
File:
PDF, 2.48 MB
english, 2013