Publication:2703749

zbMath0971.68010MaRDI QIDQ2703749

Rachel Cardell-Oliver, T. Gerdsmeier

Publication date: 8 May 2001

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68M20: Performance evaluation, queueing, and scheduling in the context of computer systems

Related Items

Verifying distributed real-time properties of embedded systems via graph transformations and model checking

Uses Software

• Uppaal2k
• Ada95
• Uppaal