Efficient Analysis and Synthesis of Complex Quantitative Systems

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

Detaljer

OriginalsprogEngelsk
ForlagAalborg Universitetsforlag
Antal sider227
ISBN (Elektronisk)978-87-7210-178-1
DOI
StatusUdgivet - 2018
PublikationsartForskning
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

Download-statistik

Ingen data tilgængelig
ID: 286673006