Kaynar, Dilsun K.
Theory of timed I/O automata
- San Rafael: Morgan & Claypool Publishers, 2006
- xi, 101 p.; ill.: 24 cm.
- Synthesis lectures on computer science .
9781598293579 (hbk)
Computer simulation
Formal modeling
Real-time control
Real-time data processing
Timed systems
004.33 / KAY