Tools and Algorithms for the Construction and Analysis of Systems
From MaRDI portal
Publication:5308410
DOI10.1007/b96393zbMath1126.68456OpenAlexW4299869287MaRDI QIDQ5308410
Publication date: 28 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96393
Formal languages and automata (68Q45) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)
Related Items (6)
Schedulability analysis of fixed-priority systems using timed automata ⋮ Verifying distributed real-time properties of embedded systems via graph transformations and model checking ⋮ Task automata: Schedulability, decidability and undecidability ⋮ A survey of timed automata for the development of real-time systems ⋮ WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model ⋮ Formal verification of multitasking applications based on timed automata model
Uses Software
This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems
