On Proving Recoverability of Smart Electrical Grids

Horsmanheimo Seppo, Maryam Kamali, Kolehmainen Mikko, Mats Neovius, Luigia Petre, Rönkkö Mauno, Petter Sandvik

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    2 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationNASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014.
    EditorsJM Badger, KY Rozier
    PublisherSpringer
    Pages77–91
    ISBN (Print)978-3-319-06200-6
    DOIs
    Publication statusPublished - 2014
    MoE publication typeA4 Article in a conference publication
    Eventconference; 2014-04-29; 2014-05-01 - Houston
    Duration: 29 Apr 20141 May 2014

    Conference

    Conferenceconference; 2014-04-29; 2014-05-01
    Period29/04/1401/05/14

    Cite this