A combined analysis approach to assessing requirements for safety critical real-time control systems
- 23 December 2002
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of 1996 Annual Reliability and Maintainability Symposium
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Safety Analysis Using Petri NetsIEEE Transactions on Software Engineering, 1987