Quantitative Verification and Synthesis of Resilient Networks

Publikation: Ph.d.-afhandling

181 Downloads (Pure)

Originalsprog	Engelsk
Vejledere	Srba, Jiri, Hovedvejleder
Udgiver	Aalborg Universitetsforlag
ISBN'er, elektronisk	978-87-7573-659-1
DOI	https://doi.org/10.54337/aau588616986
Status	Udgivet - 2023

Adgang til dokumentet

@misc{a96aef431a22436992b68575c603433f,

title = "Quantitative Verification and Synthesis of Resilient Networks",

author = "Schou, {Morten Konggaard}",

year = "2023",

doi = "10.54337/aau588616986",

language = "English",

series = "Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet",

publisher = "Aalborg Universitetsforlag",

}