On Proving Recoverability of Smart Electrical Grids

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

doi:10.1007/978-3-319-06200-6_6

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/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

2 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Otsikko	NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014.
Toimittajat	JM Badger, KY Rozier
Kustantaja	Springer
Sivut	77–91
ISBN (painettu)	978-3-319-06200-6
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-319-06200-6_6
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference; 2014-04-29; 2014-05-01 - Houston Kesto: 29 huhtikuuta 2014 → 1 toukokuuta 2014

Konferenssi

Konferenssi	conference; 2014-04-29; 2014-05-01
Ajanjakso	29/04/14 → 01/05/14

Pääsy asiakirjaan

10.1007/978-3-319-06200-6_6

Viittausmuodot

@inproceedings{b3d4cd9189434bc8b538751cb0a9d051,

title = "On Proving Recoverability of Smart Electrical Grids",

author = "Horsmanheimo Seppo and Maryam Kamali and Kolehmainen Mikko and Mats Neovius and Luigia Petre and R{\"o}nkk{\"o} Mauno and Petter Sandvik",

year = "2014",

doi = "10.1007/978-3-319-06200-6_6",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-319-06200-6",

pages = "77–91",

editor = "JM Badger and KY Rozier",

booktitle = "NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014.",

publisher = "Springer",

note = "null ; Conference date: 29-04-2014 Through 01-05-2014",

}

Seppo, H, Kamali, M, Mikko, K, Neovius, M, Petre, L, Mauno, R & Sandvik, P 2014, On Proving Recoverability of Smart Electrical Grids. julkaisussa JM Badger & KY Rozier (toim), NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014.. Springer, Sivut 77–91, conference; 2014-04-29; 2014-05-01, 29/04/14. https://doi.org/10.1007/978-3-319-06200-6_6

On Proving Recoverability of Smart Electrical Grids. / Seppo, Horsmanheimo; Kamali, Maryam; Mikko, Kolehmainen; Neovius, Mats; Petre, Luigia; Mauno, Rönkkö; Sandvik, Petter.

NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014.. toim. / JM Badger; KY Rozier. Springer, 2014. s. 77–91.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

TY - GEN

T1 - On Proving Recoverability of Smart Electrical Grids

AU - Seppo, Horsmanheimo

AU - Kamali, Maryam

AU - Mikko, Kolehmainen

AU - Neovius, Mats

AU - Petre, Luigia

AU - Mauno, Rönkkö

AU - Sandvik, Petter

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-06200-6_6

DO - 10.1007/978-3-319-06200-6_6

M3 - Konferensbidrag

SN - 978-3-319-06200-6

SP - 77

EP - 91

BT - NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014.

A2 - Badger, JM

A2 - Rozier, KY

PB - Springer

Y2 - 29 April 2014 through 1 May 2014

ER -