Dierks, Henning
Real-time systems : formal specification and automatic verification
- Cambridge: Cambridge University Press, 2008
- xvi, 320 p.; ill.: 25 cm.
9780521883337 (hbk)
Real-time data processing
PLC automata
Automatic verification
Tool MOBY/RT
004.33 / OLD