• Selma Lagerløfs Vej 300, 1-2-36

    9220 Aalborg Ø

    Danmark

20112020

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer

  • 12 Konferenceartikel i proceeding
  • 4 Tidsskriftartikel
  • 3 Konferenceartikel i tidsskrift
  • 1 Ph.d.-afhandling
Filter
Ph.d.-afhandling
2015

Statistical Model Checking of Rich Models and Properties

Poulsen, D. B., 2015, Aalborg: Aalborg Universitetsforlag. 204 s. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

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

Åben adgang
Fil
200 Downloads (Pure)