Det Teknisk-Naturvidenskabelige Fakultet (TEKNAT)

Ph.D. Danny Bøgsted Poulsen

En del af serien Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet

Titel: Statistical Model Checking of Rich Models and Properties

Fakultet: Det Teknisk-Naturvidenskabelige Fakulte

Institut: Institut for Datalogi

Læs mere
Open access
Download
 

  • Titel: Statistical Model Checking of Rich Models and Properties

    Fakultet: Det Teknisk-Naturvidenskabelige Fakulte

    Institut: Institut for Datalogi

  • Antal sider

    —

    isbn

    978-87-7112-527-6

    issn

    2246-1248

    Udgave

    PHD

    Udgivelsesår

    2015
  • Filnavn Download

Bøger i samme kategori

Se flere