Derivation and Formal Verification of a Mode Logic for Layered Control Systems

Iuliia Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

5 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Software Engineering Conference (APSEC), 2011 18th Asia Pacific
Editors	TD Thu, K Leung
Publisher	IEEE
Pages	49–56
ISBN (Print)	978-1-4577-2199-1
DOIs	https://doi.org/10.1109/APSEC.2011.38
Publication status	Published - 2011
MoE publication type	A4 Article in a conference publication
Event	Asia Pacific Software Engineering Conference (APSEC) - 18th Asia Pacific Software Engineering Conference (APSEC), 2011 Duration: 5 Dec 2011 → 8 Dec 2011

Conference	Asia Pacific Software Engineering Conference (APSEC)
Period	05/12/11 → 08/12/11

Access to Document

@inproceedings{178f753fa88542b5b7e35713f89f88f4,

title = "Derivation and Formal Verification of a Mode Logic for Layered Control Systems",

author = "Iuliia Prokhorova and Linas Laibinis and Elena Troubitsyna and Kimmo Varpaaniemi and Timo Latvala",

year = "2011",

doi = "10.1109/APSEC.2011.38",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-1-4577-2199-1",

pages = "49–56",

editor = "TD Thu and K Leung",

booktitle = "Software Engineering Conference (APSEC), 2011 18th Asia Pacific",

publisher = "IEEE",

note = "Asia Pacific Software Engineering Conference (APSEC) ; Conference date: 05-12-2011 Through 08-12-2011",

}

Prokhorova, I, Laibinis, L, Troubitsyna, E, Varpaaniemi, K & Latvala, T 2011, Derivation and Formal Verification of a Mode Logic for Layered Control Systems. in TD Thu & K Leung (eds), Software Engineering Conference (APSEC), 2011 18th Asia Pacific. IEEE, pp. 49–56, Asia Pacific Software Engineering Conference (APSEC), 05/12/11. https://doi.org/10.1109/APSEC.2011.38

TY - GEN

T1 - Derivation and Formal Verification of a Mode Logic for Layered Control Systems

AU - Prokhorova, Iuliia

AU - Laibinis, Linas

AU - Troubitsyna, Elena

AU - Varpaaniemi, Kimmo

AU - Latvala, Timo

PY - 2011

Y1 - 2011

U2 - 10.1109/APSEC.2011.38

DO - 10.1109/APSEC.2011.38

M3 - Konferensbidrag

SN - 978-1-4577-2199-1

SP - 49

EP - 56

BT - Software Engineering Conference (APSEC), 2011 18th Asia Pacific

A2 - Thu, TD

A2 - Leung, K

PB - IEEE

T2 - Asia Pacific Software Engineering Conference (APSEC)

Y2 - 5 December 2011 through 8 December 2011

ER -