Derivation and Formal Verification of a Mode Logic for Layered Control Systems
A4 Conference proceedings
Internal Authors/Editors
Publication Details
List of Authors: Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
Editors: Thu TD, Leung K
Publisher: IEEE Conference Publishing Services (CPS)
Publication year: 2011
Publisher: IEEE
Book title: Software Engineering Conference (APSEC), 2011 18th Asia Pacific
Start page: 49
End page: 56
ISBN: 978-1-4577-2199-1