Duration Calculus : A Formal Approach to Real-Time Systems /

Real-time systems are systems in which temporal properties are essential for reliability and correctness. Examples of systems where correctness and reliability are important for safety reasons include control systems for cars, trains and air planes. In devices such as washing machines, DVD players a...

Full description

Bibliographic Details

Main Author:	Chaochen, Zhou
Corporate Author:	SpringerLink (Online service)
Other Authors:	Hansen, Michael R.
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Series:	Monographs in Theoretical Computer Science An EATCS Series.
Subjects:	Computer science. Software engineering. Logic design. Electronic books.
Online Access:	Connect to the full text of this electronic book