Title: Formal methods for the design of real-time systems
First published: 2004
Subjects: Congresses, Real-time control, Real-time data processing, Real-time programming, Computer systems, Communication systems, Software, Formal methods (Computer science), Computer software, Software engineering, Telecommunication systems
LC classification: QA76.54 .I575 2004, QA76.54 .I575 2004