Cornell, Aurel
Real-time systems : modeling, design, and applications
- Hackensack: World Scientific, 2007
- xxi, 480 p.; ill.: 22 cm.
- AMAST series in computing .
9789810244248 (hbk)
Real-time data processing
Distributed synchronous process
Verification method
Algebric framwork
004.33 / ION