Verification of Safety Critical Systems using Program Analysis and Model Checking

Andreas Engelbredt Dalsgaard

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

OriginalsprogEngelsk
Antal sider197
DOI
StatusUdgivet - 2016
NavnPh.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet
ISSN2246-1248

Bibliografisk note

Afhandling ikke publiceret.

Citer dette

Dalsgaard, A. E. (2016). Verification of Safety Critical Systems using Program Analysis and Model Checking. Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet https://doi.org/10.5278/VBN.PHD.ENGSCI.00117
Dalsgaard, Andreas Engelbredt. / Verification of Safety Critical Systems using Program Analysis and Model Checking. 2016. 197 s. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).
@phdthesis{bd85e0f165c244bca3038ca2d07b3047,
title = "Verification of Safety Critical Systems using Program Analysis and Model Checking",
author = "Dalsgaard, {Andreas Engelbredt}",
note = "Dissertation not published.",
year = "2016",
doi = "10.5278/VBN.PHD.ENGSCI.00117",
language = "English",
series = "Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet",
publisher = "Aalborg Universitetsforlag",

}

Dalsgaard, AE 2016, Verification of Safety Critical Systems using Program Analysis and Model Checking. Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet. https://doi.org/10.5278/VBN.PHD.ENGSCI.00117

Verification of Safety Critical Systems using Program Analysis and Model Checking. / Dalsgaard, Andreas Engelbredt.

2016. 197 s. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

TY - BOOK

T1 - Verification of Safety Critical Systems using Program Analysis and Model Checking

AU - Dalsgaard, Andreas Engelbredt

N1 - Dissertation not published.

PY - 2016

Y1 - 2016

U2 - 10.5278/VBN.PHD.ENGSCI.00117

DO - 10.5278/VBN.PHD.ENGSCI.00117

M3 - Ph.D. thesis

T3 - Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet

BT - Verification of Safety Critical Systems using Program Analysis and Model Checking

ER -

Dalsgaard AE. Verification of Safety Critical Systems using Program Analysis and Model Checking. 2016. 197 s. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet). https://doi.org/10.5278/VBN.PHD.ENGSCI.00117