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

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

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    4 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationSoftware Engineering Conference (APSEC), 2011 18th Asia Pacific
    RedaktörerTD Thu, K Leung
    FörlagIEEE
    Sidor49–56
    ISBN (tryckt)978-1-4577-2199-1
    DOI
    StatusPublicerad - 2011
    MoE-publikationstypA4 Artikel i en konferenspublikation
    EvenemangAsia Pacific Software Engineering Conference (APSEC) - 18th Asia Pacific Software Engineering Conference (APSEC), 2011
    Varaktighet: 5 dec 20118 dec 2011

    Konferens

    KonferensAsia Pacific Software Engineering Conference (APSEC)
    Period05/12/1108/12/11

    Citera det här