Derivation and Formal Verification of a Mode Logic for Layered Control Systems Вид публикации: Conference Proceedings Авторы: Yuliya Prokhorova; Linas Laibinis; Elena Troubitsyna; Kimmo Varpaaniemi; Timo Latvala Источник: Proceedings of the 18th Asia-Pacific Software Engineering Conference, APSEC 2011, IEEE, p.49-56 (2011)
