Efficient Analysis and Synthesis of Complex Quantitative Systems

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

243 Downloads (Pure)
OriginalsprogEngelsk
ForlagAalborg Universitetsforlag
Antal sider227
ISBN (Elektronisk)978-87-7210-178-1
DOI
StatusUdgivet - 2018
NavnPh.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet
ISSN2446-1628

Bibliografisk note

PhD supervisor:
Prof. Kim Guldstrand Larsen, Aalborg University

Assistant PhD supervisor:
Assoc. Prof. Jiří Srba, Aalborg University

Citationsformater

Jensen, P. G. (2018). Efficient Analysis and Synthesis of Complex Quantitative Systems. Aalborg Universitetsforlag. Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet https://doi.org/10.5278/vbn.phd.tech.00043