Analyzing safety and fault tolerance using Time Petri nets
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 339-355
- https://doi.org/10.1007/3-540-15199-0_22
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Software Safety in Computer-Controlled SystemsComputer, 1984
- Analyzing Software SafetyIEEE Transactions on Software Engineering, 1983
- Recoverability of Communication Protocols--Implications of a Theoretical StudyIEEE Transactions on Communications, 1976