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

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

4 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014.
Editors	JM Badger, KY Rozier
Publisher	Springer
Pages	77–91
ISBN (Print)	978-3-319-06200-6
DOIs	https://doi.org/10.1007/978-3-319-06200-6_6
Publication status	Published - 2014
MoE publication type	A4 Article in a conference publication
Event	conference; 2014-04-29; 2014-05-01 - Houston Duration: 29 Apr 2014 → 1 May 2014

Conference

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

Access to Document

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

Cite this

@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. in JM Badger & KY Rozier (eds), NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014.. Springer, pp. 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.. ed. / JM Badger; KY Rozier. Springer, 2014. p. 77–91.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › 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 - 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

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

Y2 - 29 April 2014 through 1 May 2014

ER -