Title: Formal methods for real-time computing
Description: xvii, 271 p. : 24 cm
Subjects: Real-time data processing, Formal methods (Computer science)