Specifying Real-Time Systems with Z and the Duration Calculus-Reference-Cited by-同舟云学术

Specifying Real-Time Systems with Z and the Duration Calculus

Published:1994 Issue: Volume: Page:282-294
ISSN:1431-1682
Container-title:Z User Workshop, Cambridge 1994
language:
Short-container-title:

Author:

Engel Marcin

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-3452-7_17

Reference9 articles.

1. Brien S.M, Engel M, Jifeng He, Ravn A.P, Rischel H. Z description of duration calculus. Procos II Report OU HJF 12/2, Oxford University Computing Laboratory, Oxford, England, 1993.

2. Brien S, Nicholls J, et al. Z base standard. version 1.0. ZIP Report ZIP/PRG/92/121, Oxford University Computing Laboratory, Oxford, England, 1992.

3. Chaochen Zhou, Hoare C.A.R, Ravn A.P. A calculus of durations. Information Processing Letters, 40 (5): 269–276, 1991.

4. Chaochen Zhou, Ravn A.P, Hansen M.R. An extended duration calculus for hybrid real-time systems. In Grossman R.L, Nerode A, Ravn A.P, Rischel H (eds), Hybrid Systems. (Lecture Notes in Computer Science, vol. 736), pp 36–59. Berlin: Springer-Verlag, 1993.

5. Engel M, Kubica M, Madey J, Parnas D.L, Ravn A.P, van Schouwen A.J. A formal approach to computer systems requirements documentation. In Grossman R.L, Nerode A, Ravn A.P, Rischel H (eds), Hybrid Systems. (Lecture Notes in Computer Science, vol. 736), pp 452–474. Berlin: Springer-Verlag, 1993.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Select Z Bibliography;ZUM ’98: The Z Formal Specification Notation;1998

2. Combining Z and temporal interval logics for the formalization of properties and behaviors of embedded systems;Advances in Computing Science — ASIAN'97;1997

3. The specification and testing of conformance in ODP systems;Testing of Communicating Systems;1996