Det Teknisk-Naturvidenskabelige Fakultet (TEKNAT)

Ph.D. Danny Bøgsted Poulsen

Titel: Statistical Model Checking of Rich Models and Properties

Fakultet: Det Teknisk-Naturvidenskabelige Fakulte

Institut: Institut for Datalogi

Læs mere
Open access
 
  • 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