A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes 论文

2003Reliability Engineering & System Safety引用 225
DOI
Petri Nets in System ModelingFormal Methods in VerificationSoftware Reliability and Analysis Research
Petri Nets in System ModelingFormal Methods in VerificationSoftware Reliability and Analysis Research
相关技术:Petri Nets in System ModelingFormal Methods in Verification
关系图谱

A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes · 相关技术

相关技术

Petri Nets in System ModelingFormal Methods in Verification