Det Teknisk-Naturvidenskabelige Fakultet (TEKNAT)

Ph.D. Andreas Engelbredt Dalsgaard

En del af serien Det Teknisk-Naturvidenskabelige Fakultet

Titel: Verification of Safety Critical Systems using Program Analysis and Model Checking

Fakultet: Det Teknisk-Naturvidenskabelige Fakultet

Institut: Institut for Datalogi

Læs mere
Open access
Download
 

  • Titel: Verification of Safety Critical Systems using Program Analysis and Model Checking

    Fakultet: Det Teknisk-Naturvidenskabelige Fakultet

    Institut: Institut for Datalogi

  • Antal sider

    —

    isbn

    978-87-7112-722-5

    issn

    2246-1248

    Udgave

    PHD

    Udgivelsesår

    2016
  • Filnavn Download

Bøger i samme kategori

Se flere