Browsing by Author "Carnevali, Laura"
Now showing 1 - 2 of 2
- 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, EnricoItem A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems(Institute of electrical and electronics engineers, 2013) Carnevali, Laura; Ridi, Lorenzo; Vicario, Enrico