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)

видяно 8740 пъти
Google Scholar
DOI
RTF
EndNote XML

Последно обновяване: вторник, 04 April 2017