A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga. A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. In Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura, editors, Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings. Volume 4762 of Lecture Notes in Computer Science, pages 441-456, Springer, 2007. [doi]

This author has not been identified. Look up 'Hichem Boudali' in GoogleThis author has not been identified. Look up 'Pepijn Crouzen' in GoogleThis author has not been identified. Look up 'Mariëlle Stoelinga' in Google

runs on WebDSL