A case study in safety-critical design
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 220-233
- https://doi.org/10.1007/3-540-56496-9_18
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A temporal calculus of communicating systemsPublished by Springer Nature ,2005
- Bisimulations and divergencePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Real time process algebraFormal Aspects of Computing, 1991
- A conditional operator for CCSPublished by Springer Nature ,1991
- A refinement calculus for specifications in Hennessy-Milner logic with recursionFormal Aspects of Computing, 1989
- Parallel Program DesignPublished by Springer Nature ,1989
- Solid-state interlocking (SSI): an integrated electronic signalling system for mainline railwaysIEE Proceedings B Electric Power Applications, 1987
- FairnessPublished by Springer Nature ,1986
- Results on the propositional μ-calculusTheoretical Computer Science, 1983