Please use this identifier to cite or link to this item: http://theses.ncl.ac.uk/jspui/handle/10443/6183
Full metadata record
DC FieldValueLanguage
dc.contributor.authorWooding, Benjamin James-
dc.date.accessioned2024-06-06T14:58:04Z-
dc.date.available2024-06-06T14:58:04Z-
dc.date.issued2023-
dc.identifier.urihttp://hdl.handle.net/10443/6183-
dc.descriptionPhD Thesisen_US
dc.description.sponsorshipUnited Kingdom Research and Innovation (UKRI), funded by the Engineering and Physical Sciences Research Council (EPSRC), through an EPSRC Studentshipen_US
dc.language.isoenen_US
dc.publisherNewcastle Universityen_US
dc.titleModel-based and data-driven formal synthesis of power systemsen_US
dc.typeThesisen_US
Appears in Collections:School of Computing

Files in This Item:
File Description SizeFormat 
Wooding B J 2023.pdf8.83 MBAdobe PDFView/Open
dspacelicence.pdf43.82 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.