A Model for Industrial Real-Time Systems

DOI10.1007/978-3-662-46081-8_9zbMath1432.68050OpenAlexW1844232432MaRDI QIDQ5172641

Juergen Dingel, Andrzej Wąsowski, Karen Rudie, Md Tawhid Bin Waez

Publication date: 4 February 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46081-8_9

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Distributed systems (68M14)

Related Items (1)

Controller synthesis for dynamic hierarchical real-time plants using timed automata

Uses Software

• Uppaal
• UPPAAL TIGA
• Synthia

This page was built for publication: A Model for Industrial Real-Time Systems