scientific article
From MaRDI portal
Publication:2743706
zbMath0978.68021MaRDI QIDQ2743706
Thomas Hune, Paul Pettersson, Kim Guldstrand Larsen
Publication date: 27 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Distributed systems (68M14)
Related Items (7)
Schedulability analysis of fixed-priority systems using timed automata ⋮ How to stop time stopping ⋮ Predictable real-time software synthesis ⋮ Task automata: Schedulability, decidability and undecidability ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ Discount-Optimal Infinite Runs in Priced Timed Automata ⋮ Verifying untimed and timed aspects of the experimental batch plant
Uses Software
This page was built for publication:
