This paper presents techniques for the transformational formal development of reactive and real-time systems, using a combination of the VDM ++ formal method and the HRT-HOOD method. A case study of a chemical control system is used to illustrate the techniques.
CITATION STYLE
Lano, K., & Sanchez, A. (1997). Transformational formal development of real-time systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1231, pp. 184–198). Springer Verlag. https://doi.org/10.1007/3-540-63010-4_13
Mendeley helps you to discover research relevant for your work.