Title: Formal methods for real-time and probabilistic systems
First published: 1999
Subjects: Congresses, Software engineering, Abstract data types (Computer science), Systems engineering, Real-time data processing, Verification, Computer software