Please use this identifier to cite or link to this item:
http://theses.ncl.ac.uk/jspui/handle/10443/6183| Title: | Model-based and data-driven formal synthesis of power systems |
| Authors: | Wooding, Benjamin James |
| Issue Date: | 2023 |
| Publisher: | Newcastle University |
| Description: | PhD Thesis |
| URI: | http://hdl.handle.net/10443/6183 |
| Appears in Collections: | School of Computing |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Wooding B J 2023.pdf | 8.83 MB | Adobe PDF | View/Open | |
| dspacelicence.pdf | 43.82 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.