A steam-boiler control specification with statecharts and Z
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 109-128
- https://doi.org/10.1007/bfb0027233
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Executable object modeling with statechartsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Combining statecharts and Z for the design of safety-critical control systemsPublished by Springer Nature ,1996
- A comparison of Statecharts variantsPublished by Springer Nature ,1994
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987