Browsing by Author "Pinzuti, Alessandro"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Item Compositional Verification for Hierarchical Scheduling of Real-Time Systems(Institute of electrical and electronics engineers, 2013) Carnevali, Laura; Pinzuti, Alessandro; Vicario, Enrico