• Selma Lagerløfs Vej 300, 5-2-38

    9220 Aalborg Ø

    Denmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

20032019
If you made any changes in Pure these will be visible here soon.

Research Output 2003 2018

Filter
Book chapter
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. (eds.). Cham: Springer, p. 269-288 20 p. (Lecture Notes in Computer Science, Vol. 10460).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

2008
3 Citations (Scopus)

Using On-Line Tutorials in Introductory IT Courses

Thomsen, B., 2008, Reflections on the Teaching of Programming. Bennedsen, J., Caspersen, M. & Kölling, M. (eds.). Berlin Heidelberg: Springer, p. 68-74 (Lecture Notes in Computer Science : Programming and Software Engineering; No. 4821).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

2003

Software - til verdens mindste og verdens største computer

Larsen, K. G., Thomsen, L. L. & Thomsen, B., 2003, Trends i ITEK-Sektoren. Sarborg Pedersen, John : Ørum Larsen, Lars (red.) (ed.). Kbh. : ITEK: Denmark., p. 21-26 (ITEK rapport).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch