Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications

Publisher Website

1 January 1995

book chapter
Published by Springer Nature

p. 32-54
https://doi.org/10.1007/978-1-4471-3078-9_3

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

Specification and transformation of reactive systems with time restrictions and concurrency
Published by Springer Nature ,1994
Specifying and verifying requirements of real-time systems
IEEE Transactions on Software Engineering, 1993
From ATP to timed graphs and hybrid systems
Published by Springer Nature ,1992
A calculus of durations
Information Processing Letters, 1991
Real time process algebra
Formal Aspects of Computing, 1991
Refinement calculus, part II: Parallel and reactive programs
Published by Springer Nature ,1990