Publication:2743706
From MaRDI portal
zbMath0978.68021MaRDI QIDQ2743706
Thomas Hune, Paul Pettersson, Kim Guldstrand Larsen
Publication date: 27 September 2001
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
68M14: Distributed systems
Related Items
Discount-Optimal Infinite Runs in Priced Timed Automata, How to stop time stopping, Schedulability analysis of fixed-priority systems using timed automata, Verifying untimed and timed aspects of the experimental batch plant, Predictable real-time software synthesis, Task automata: Schedulability, decidability and undecidability, Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
Uses Software