The use of prime implicants in dependability analysis of software controlled systems
- 30 November 1998
- journal article
- Published by Elsevier in Reliability Engineering & System Safety
- Vol. 62 (1-2) , 23-32
- https://doi.org/10.1016/s0951-8320(98)00002-7
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- The dynamic flowgraph methodology for assessing the dependability of embedded software systemsIEEE Transactions on Systems, Man, and Cybernetics, 1995
- The role of formal methods in achieving dependable softwareReliability Engineering & System Safety, 1994
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Interactive State-Space Analysis of Concurrent SystemsIEEE Transactions on Software Engineering, 1987
- Safety Analysis Using Petri NetsIEEE Transactions on Software Engineering, 1987
- Theory of Program Testing-An OverviewBell System Technical Journal, 1983
- Safety Analysis of Ada Programs Using Fault TreesIEEE Transactions on Reliability, 1983
- Analyzing Software SafetyIEEE Transactions on Software Engineering, 1983
- Failure Mode, Effect and Criticality AnalysisPublished by Springer Nature ,1983
- Computer-aided Synthesis of Fault-treesIEEE Transactions on Reliability, 1977