The dynamic flowgraph methodology for assessing the dependability of embedded software systems

This publication has 23 references indexed in Scilit:

• Specification of real-time systems in real-time temporal interval logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Preface
  Reliability Engineering & System Safety, 1991
• Petri nets: Properties, analysis and applications
  Proceedings of the IEEE, 1989
• Real-time interval logic for reasoning about executions of real-time programs
  Published by Association for Computing Machinery (ACM) ,1989
• Interactive State-Space Analysis of Concurrent Systems
  IEEE Transactions on Software Engineering, 1987
• Multiple-Valued Logic Trees: Meaning and Prime Implicants
  IEEE Transactions on Reliability, 1985
• Fault Tree Analysis with Multistate Components
  Published by Springer Nature ,1980
• Decision Table Development and Application to the Construction of Fault Trees
  Nuclear Technology, 1979
• A new methodology for the computer-aided construction of fault trees
  Annals of Nuclear Energy, 1977
• Computer-aided Synthesis of Fault-trees
  IEEE Transactions on Reliability, 1977