Specifying Real-Time Systems with Z and the Duration Calculus

Publisher Website

1 January 1994

book chapter
Published by Springer Nature

p. 282-294
https://doi.org/10.1007/978-1-4471-3452-7_17

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

A case-study in timed refinement: a mine pump
IEEE Transactions on Software Engineering, 1992
A calculus of durations
Information Processing Letters, 1991