Automated Verification of LV Network Topologies

Maizura Mokhtar, Valentin Robu, David Flynn, Ciaran Higgins, Jim Whyte, Fiona Fulton

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication8th IEEE PES Innovative Smart Grid Technologies Conference Europe
PublisherIEEE
Publication statusAccepted/In press - 21 May 2018
Event8th IEEE PES Innovative Smart Grid Technologies Conference Europe - Sarajevo, Bosnia and Herzegovina
Duration: 21 Oct 201825 Oct 2018

Seminar

Seminar8th IEEE PES Innovative Smart Grid Technologies Conference Europe
Abbreviated title2018 IEEE PES ISGT Europe
CountryBosnia and Herzegovina
CitySarajevo
Period21/10/1825/10/18

Cite this

Mokhtar, M., Robu, V., Flynn, D., Higgins, C., Whyte, J., & Fulton, F. (Accepted/In press). Automated Verification of LV Network Topologies. In 8th IEEE PES Innovative Smart Grid Technologies Conference Europe IEEE.
Mokhtar, Maizura ; Robu, Valentin ; Flynn, David ; Higgins, Ciaran ; Whyte, Jim ; Fulton, Fiona. / Automated Verification of LV Network Topologies. 8th IEEE PES Innovative Smart Grid Technologies Conference Europe. IEEE, 2018.
@inproceedings{85435ad1e7444a97a50427a228db264d,
title = "Automated Verification of LV Network Topologies",
author = "Maizura Mokhtar and Valentin Robu and David Flynn and Ciaran Higgins and Jim Whyte and Fiona Fulton",
year = "2018",
month = "5",
day = "21",
language = "English",
booktitle = "8th IEEE PES Innovative Smart Grid Technologies Conference Europe",
publisher = "IEEE",
address = "United States",

}

Mokhtar, M, Robu, V, Flynn, D, Higgins, C, Whyte, J & Fulton, F 2018, Automated Verification of LV Network Topologies. in 8th IEEE PES Innovative Smart Grid Technologies Conference Europe. IEEE, 8th IEEE PES Innovative Smart Grid Technologies Conference Europe, Sarajevo, Bosnia and Herzegovina, 21/10/18.

Automated Verification of LV Network Topologies. / Mokhtar, Maizura; Robu, Valentin; Flynn, David; Higgins, Ciaran; Whyte, Jim; Fulton, Fiona.

8th IEEE PES Innovative Smart Grid Technologies Conference Europe. IEEE, 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Automated Verification of LV Network Topologies

AU - Mokhtar, Maizura

AU - Robu, Valentin

AU - Flynn, David

AU - Higgins, Ciaran

AU - Whyte, Jim

AU - Fulton, Fiona

PY - 2018/5/21

Y1 - 2018/5/21

M3 - Conference contribution

BT - 8th IEEE PES Innovative Smart Grid Technologies Conference Europe

PB - IEEE

ER -

Mokhtar M, Robu V, Flynn D, Higgins C, Whyte J, Fulton F. Automated Verification of LV Network Topologies. In 8th IEEE PES Innovative Smart Grid Technologies Conference Europe. IEEE. 2018