Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chih-Hong Cheng, Harald Rueß, Alois Knoll, Christian Buckl. Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice. In Ranjit Jhala, David A. Schmidt, editors, Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings. Volume 6538 of Lecture Notes in Computer Science, pages 118-133, Springer, 2011. [doi]

This author has not been identified. Look up 'Chih-Hong Cheng' in GoogleThis author has not been identified. Look up 'Harald Rueß' in GoogleThis author has not been identified. Look up 'Alois Knoll' in GoogleThis author has not been identified. Look up 'Christian Buckl' in Google

runs on WebDSL