Derivation and Formal Verification of a Mode Logic for Layered Control Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala. Derivation and Formal Verification of a Mode Logic for Layered Control Systems. In Tran Dan Thu, Karl R. P. H. Leung, editors, 2011 18th Asia Pacific Software Engineering Conference, Ho Chi Minh, Vietnam, December 5-8, 2011. pages 49-56, IEEE, 2011. [doi]

This author has not been identified. Look up 'Yuliya Prokhorova' in GoogleThis author has not been identified. Look up 'Linas Laibinis' in GoogleThis author has not been identified. Look up 'Elena Troubitsyna' in GoogleThis author has not been identified. Look up 'Kimmo Varpaaniemi' in GoogleThis author has not been identified. Look up 'Timo Latvala' in Google

runs on WebDSL