Information Technology Reference
In-Depth Information
10. A. P. Ravn, T. J. Eriksen, M. Holdgaard, and H. Rischel. Engineering of real-
time systems with an experiment in hybrid control. In G. Rozenberg and F. W.
Vaandrager, editors,
Embedded Systems
, volume 1494 of
LNCS
, pages 316{352.
Springer-Verlag, 1998.
11. A.P. Ravn, H. Rischel, and K. M. Hansen. Specifying and verifying requirements
of real-time systems.
IEEE Trans. Softw. Eng.
, 19(1):41{55, 1993.
12. H. Rischel, J. Cuellar, S. Mrk, A. P. Ravn, and I. Wildgruber. Development of
safety-critical real-time systems. In M. Bartosek, J. Staudek, and J. Wiedermann,
editors,
SOFSEM'95: Theory and Practice of Informatics
, volume 1012 of
LNCS
,
pages 206{235. Springer-Verlag, 1995.
13. M. Schenke and A. P. Ravn. Renement from a control problem to programs. In
J. R. Abrial, E. Borger, and H. Langmaack, editors,
Formal Methods for Industrial
Applications: Specifying and Programming the Steam Boiler Control
, volume 1165
of
LNCS
, pages 403{427. Springer-Verlag, 1996.
14. Chaochen Zhou, C. A. R. Hoare, and A. P. Ravn. A calculus of durations.
Infor-
mation Proc. Letters
, 40(5), Dec. 1991.
Search WWH ::
Custom Search