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 proceedingConference contributionScientificpeer-review

2 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationNASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014.
EditorsJM Badger, KY Rozier
PublisherSpringer
Pages77–91
ISBN (Print)978-3-319-06200-6
DOIs
Publication statusPublished - 2014
MoE publication typeA4 Article in a conference publication
Eventconference; 2014-04-29; 2014-05-01 - Houston
Duration: 29 Apr 20141 May 2014

Conference

Conferenceconference; 2014-04-29; 2014-05-01
Period29/04/1401/05/14

Cite this