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

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

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    4 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoSoftware Engineering Conference (APSEC), 2011 18th Asia Pacific
    ToimittajatTD Thu, K Leung
    KustantajaIEEE
    Sivut49–56
    ISBN (painettu)978-1-4577-2199-1
    DOI - pysyväislinkit
    TilaJulkaistu - 2011
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    TapahtumaAsia Pacific Software Engineering Conference (APSEC) - 18th Asia Pacific Software Engineering Conference (APSEC), 2011
    Kesto: 5 joulukuuta 20118 joulukuuta 2011

    Konferenssi

    KonferenssiAsia Pacific Software Engineering Conference (APSEC)
    Ajanjakso05/12/1108/12/11

    Viittausmuodot