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

Thomas Bøgholm, Christian Frost, Rene Rydhof Hansen, Casper Svenning Jensen, Kasper Søe Luckow, Anders Peter Ravn, Hans Søndergaard, Bent Thomsen

Research output: Contribution to journalJournal articleResearchpeer-review

6 Citations (Scopus)
Filter
PhD thesis

Search results