Title: Formal methods and hybrid real-time systems
Subjects: Formal methods (Computer science), Congresses, Real-time data processing, System design