Hierarchical Dependability Modeling with Multi-State Systems

Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi. Hierarchical Dependability Modeling with Multi-State Systems. In 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023, Singapore, October 24-27, 2023. pages 268-277, IEEE, 2023. [doi]

Authors

Junjun Zheng

This author has not been identified. Look up 'Junjun Zheng' in Google

Hiroyuki Okamura

This author has not been identified. Look up 'Hiroyuki Okamura' in Google

Tadashi Dohi

This author has not been identified. Look up 'Tadashi Dohi' in Google