667015
9783540408239
In this work, the authors provides a comprehensive introduction to interval logic and duration calculus, for modelling, analysing and verifying real-time systems.Michael Hansen is the author of 'Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)', published 2004 under ISBN 9783540408239 and ISBN 3540408231.
[read more]