Analysis Methods of Multi-state Systems Partially Having Dependent Components Using Multiple-Valued Decision Diagrams - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler, Mitchell A. Thornton, Theodore W. Manikas. Analysis Methods of Multi-state Systems Partially Having Dependent Components Using Multiple-Valued Decision Diagrams. In IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014. pages 190-195, IEEE, 2014. [doi]

This author has not been identified. Look up 'Shinobu Nagayama' in GoogleThis author has not been identified. Look up 'Tsutomu Sasao' in GoogleThis author has not been identified. Look up 'Jon T. Butler' in GoogleThis author has not been identified. Look up 'Mitchell A. Thornton' in GoogleThis author has not been identified. Look up 'Theodore W. Manikas' in Google

runs on WebDSL