On Proving Recoverability of Smart Electrical Grids

Approved

Publication information

OKM publication type
A4
Category
Artikkelit ja abstraktit
Sub category
Artikkelit ja abstraktit tieteellisissä konferenssijulkaisuissa
Type
Full Paper
Refereed
Kyllä

Authors of the publication

Number of authors
7
Authors
Horsmanheimo Seppo, Kamali Maryam, Kolehmainen Mikko, Neovius Mats, Petre Luigia, Rönkkö Mauno, Sandvik Petter

Publication channel information

Title of host publication
NASA Formal Methods 6th International Symposium, NFM 2014
Editors of host publication
Badger, J.M. ja Rozier, K.Y. (toim.)
ISBN (print)
978-3-319-06199-3
Name of conference
Nasa Formal Methods Symposium
Title of journal/series
Lecture notes in computer science
ISSN (print)
0302-9743
ISSN (electronic)
1611-3349
ISSN (linking)
0302-9743
Publisher
Springer-Verlag
Publication forum ID
62555
Publication forum level
1
Country of publication
Switzerland
Internationality
Yes

Detailed publication information

Publication year
2014
Reporting year
2014
Page numbers
77-91
DOI
10.1007/978-3-319-06200-6_6
Language of publication
English

Co-publication information

International co-publication
No

Classification and additional information

MinEdu field of science classification
113 Computer and information sciences, 213 Electronic, automation and communications engineering, electronics, 218 Environmental engineering, 1172 Environmental sciences