On Proving Recoverability of Smart Electrical Grids

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

    Forskningsoutput: Kapitel i bok/konferenshandlingPublicerad konferensartikelVetenskapligPeer review

    4 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på värdpublikationNASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014.
    RedaktörerJM Badger, KY Rozier
    FörlagSpringer
    Sidor77–91
    ISBN (tryckt)978-3-319-06200-6
    DOI
    StatusPublicerad - 2014
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference; 2014-04-29; 2014-05-01 - Houston
    Varaktighet: 29 apr. 20141 maj 2014

    Konferens

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

    Citera det här