Graphical development of consistent system specifications
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 248-267
- https://doi.org/10.1007/3-540-60973-3_91
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The industrial take-up of formal methods in safety-critical and other areas: A perspectivePublished by Springer Nature ,1993
- Integrated Structured Analysis and Formal Specification TechniquesThe Computer Journal, 1992
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- AutomatentheoriePublished by Springer Nature ,1984