The Korso case study for software engineering with formal methods: A medical information system
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 417-445
- https://doi.org/10.1007/bfb0015474
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A formal approach to requirements engineeringPublished by Springer Nature ,2006
- Implementing verification strategies in the KIV-systemPublished by Springer Nature ,2005
- Three selected case studies in verificationPublished by Springer Nature ,1995
- Traverdi — Transformation and verification of distributed systemsPublished by Springer Nature ,1995
- KORSO reference languages concepts and application domainsPublished by Springer Nature ,1995
- On object-oriented design and verificationPublished by Springer Nature ,1995
- A method for the development of correct softwarePublished by Springer Nature ,1995
- Petri NetsPublished by Springer Nature ,1985