Comparing LOTOS and Z refinement relations
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- FDTs for ODPComputer Standards & Interfaces, 1995
- Object-Z: A specification language advocated for the description of standardsComputer Standards & Interfaces, 1995
- ZESTPublished by Springer Nature ,1992
- Two standards means problems: A case study on formal protocol descriptionsComputer Standards & Interfaces, 1989