Foto af Thomas Bøgholm
  • Selma Lagerløfs Vej 300, 5-2-60

    9220 Aalborg Ø

    Danmark

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

Publikationer 2008 2018

Filter
Bidrag til bog/antologi
2017

Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking

Ravn, A. P., Thomsen, B., Søe Luckow, K., Thomsen, L. L. & Bøgholm, T., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (red.). Cham: Springer, s. 269-288 20 s. (Lecture Notes in Computer Science, Bind 10460).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review