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

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

5 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Software Engineering Conference (APSEC), 2011 18th Asia Pacific
Redaktörer	TD Thu, K Leung
Förlag	IEEE
Sidor	49–56
ISBN (tryckt)	978-1-4577-2199-1
DOI	https://doi.org/10.1109/APSEC.2011.38
Status	Publicerad - 2011
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	Asia Pacific Software Engineering Conference (APSEC) - 18th Asia Pacific Software Engineering Conference (APSEC), 2011 Varaktighet: 5 dec. 2011 → 8 dec. 2011

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

Åtkomst av dokument

@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",

}

Derivation and Formal Verification of a Mode Logic for Layered Control Systems. / Prokhorova, Iuliia; Laibinis, Linas; Troubitsyna, Elena et al.
Software Engineering Conference (APSEC), 2011 18th Asia Pacific. red. / TD Thu; K Leung. IEEE, 2011. s. 49–56.

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

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 - Publicerad konferensartikel

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 -