A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes 论文
2003Reliability Engineering & System Safety引用 225
Petri Nets in System ModelingFormal Methods in VerificationSoftware Reliability and Analysis Research
详细信息
- 发表期刊/会议
- Reliability Engineering & System Safety
- 发表日期
- 2003-09-12
- 发表年份
- 2003
关键词
Petri Nets in System ModelingFormal Methods in VerificationSoftware Reliability and Analysis Research