On Proving Recoverability of Smart Electrical Grids

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

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    2 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoNASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014.
    ToimittajatJM Badger, KY Rozier
    KustantajaSpringer
    Sivut77–91
    ISBN (painettu)978-3-319-06200-6
    DOI - pysyväislinkit
    TilaJulkaistu - 2014
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference; 2014-04-29; 2014-05-01 - Houston
    Kesto: 29 huhtikuuta 20141 toukokuuta 2014

    Konferenssi

    Konferenssiconference; 2014-04-29; 2014-05-01
    Ajanjakso29/04/1401/05/14

    Viittausmuodot