Duration calculus a formal approach to real-time systems - Zhou, Chaochen 1937-; Hansen, Michael R. 1956- (Springer, 2004)
Includes bibliographical references and index
Keywords: Mathématiques - Informatique; Méthodes formelles (Informatique); Temps réel; Datenverarbeitung; Mathematik; Formal methods (Computer science); Mathematics -- Data processing; Real-time data processing; Berechnungstheorie; Formale Spezifikationstechnik; Echtzeitsystem; Zeitintervall; Temporale Logik; HOL