How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study
From MaRDI portal
Publication:1395689
DOI10.1023/A:1021758401878zbMath1033.68054OpenAlexW1568805213MaRDI QIDQ1395689
Publication date: 1 July 2003
Published in: Real-Time Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1021758401878
Related Items
Modular design of real-time systems using hierarchical communicating real-time state machines ⋮ Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty
Uses Software
