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