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

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

4 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014.
Redaktörer	JM Badger, KY Rozier
Förlag	Springer
Sidor	77–91
ISBN (tryckt)	978-3-319-06200-6
DOI	https://doi.org/10.1007/978-3-319-06200-6_6
Status	Publicerad - 2014
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference; 2014-04-29; 2014-05-01 - Houston Varaktighet: 29 apr. 2014 → 1 maj 2014

Konferens

Konferens	conference; 2014-04-29; 2014-05-01
Period	29/04/14 → 01/05/14

Åtkomst av dokument

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

Citera det här

@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 = "conference; 2014-04-29; 2014-05-01 ; 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. i JM Badger & KY Rozier (red), NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014.. Springer, s. 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 et al.
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014.. red. / JM Badger; KY Rozier. Springer, 2014. s. 77–91.

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

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 - Publicerad konferensartikel

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

T2 - conference; 2014-04-29; 2014-05-01

Y2 - 29 April 2014 through 1 May 2014

ER -