scientific article
From MaRDI portal
Publication:2766638
zbMath0986.90501MaRDI QIDQ2766638
Karine Altisen, Joseph Sifakis, Gregor Gössler
Publication date: 17 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Deterministic scheduling theory in operations research (90B35) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)
Related Items (3)
Automatic synthesis of a subclass of schedulers in timed systems. ⋮ Schedulability analysis of fixed-priority systems using timed automata ⋮ Task automata: Schedulability, decidability and undecidability
This page was built for publication:
