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
Tidsskriftartikel
2013
6 Citationer (Scopus)

Towards harnessing theories through tool support for hard real-time Java programming

Bøgholm, T., Frost, C., Hansen, R. R., Jensen, C. S., Luckow, K. S., Ravn, A. P., Søndergaard, H. & Thomsen, B., 2013, I : Innovations in Systems and Software Engineering. 9, 1, s. 17-28 12 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2010

Formal Modelling and Analysis of Predictable Java

Bøgholm, T., Hansen, R. R., Ravn, A. P., Søndergaard, H. & Thomsen, B., apr. 2010, I : ERCIM News. 81, s. 52-53

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review