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

Last updated on 2019-17-09 at 06:54