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 proceedingConference contributionScientificpeer-review

    4 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationSoftware Engineering Conference (APSEC), 2011 18th Asia Pacific
    EditorsTD Thu, K Leung
    PublisherIEEE
    Pages49–56
    ISBN (Print)978-1-4577-2199-1
    DOIs
    Publication statusPublished - 2011
    MoE publication typeA4 Article in a conference publication
    EventAsia Pacific Software Engineering Conference (APSEC) - 18th Asia Pacific Software Engineering Conference (APSEC), 2011
    Duration: 5 Dec 20118 Dec 2011

    Conference

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

    Cite this