![](/img/cover-not-exists.png)
[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - Derivation and Formal Verification of a Mode Logic for Layered Control Systems
Prokhorova, Yuliya, Laibinis, Linas, Troubitsyna, Elena, Varpaaniemi, Kimmo, Latvala, TimoYear:
2011
Language:
english
DOI:
10.1109/apsec.2011.38
File:
PDF, 491 KB
english, 2011