Subject
Hardware and Architecture,Information Systems,Software
Reference43 articles.
1. Fixed priority pre-emptive scheduling: an historical perspective;Audsley;Real-Time Syst.,1995
2. Stochastic petri nets: an introduction to the theory;Bause;SIGMETRICS Perform. Eval. Rev.,1998
3. Model-based performance prediction with the Palladio component model;Becker,2007
4. The Palladio component model for model-driven performance prediction;Becker;J. Syst. Softw.,2009
5. UPPAAL – a tool suite for automatic verification of real-time systems;Bengtsson,1996