On Proving Recoverability of Smart Electrical Grids

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Horsmanheimo Seppo, Kamali Maryam, Kolehmainen Mikko, Neovius Mats, Petre Luigia, Rönkkö Mauno, Sandvik Petter
Editors: Badger JM, Rozier KY
Publisher: Springer-Verlag
Publication year: 2014
Journal: Lecture Notes in Computer Science
Publisher: Springer
Book title: NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014.
Title of series: Lecture Notes in Computer Science
Volume number: 8430
Start page: 77
End page: 91
ISBN: 978-3-319-06200-6
ISSN: 0302-9743

Last updated on 2019-18-09 at 05:18

Share link