Title: Introduction to the formal design of real-time systems
First published: 1999
Subjects: Real-time data processing, System design, Echtzeitsystem, Systèmes, Conception de, Echtzeitverarbeitung, Systementwurf, Temps réel, Prozessalgebra
LC classification: QA76.54 .G73 1999