Title: Formal methods for the design of real-time systems
Subjects: Computer systems, Real-time data processing, Congresses, Formal methods (Computer science), Computer software