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

Thomas Bøgholm, Christian Frost, René Rydhof Hansen, Casper Svenning Jensen, Kasper Søe Luckow, Anders P. Ravn, Hans Søndergaard, Bent Thomsen. Towards harnessing theories through tool support for hard real-time Java programming. ISSE, 9(1):17-28, 2013. [doi]

Authors

Thomas Bøgholm

This author has not been identified. Look up 'Thomas Bøgholm' in Google

Christian Frost

This author has not been identified. Look up 'Christian Frost' in Google

René Rydhof Hansen

This author has not been identified. Look up 'René Rydhof Hansen' in Google

Casper Svenning Jensen

This author has not been identified. Look up 'Casper Svenning Jensen' in Google

Kasper Søe Luckow

This author has not been identified. Look up 'Kasper Søe Luckow' in Google

Anders P. Ravn

This author has not been identified. Look up 'Anders P. Ravn' in Google

Hans Søndergaard

This author has not been identified. Look up 'Hans Søndergaard' in Google

Bent Thomsen

This author has not been identified. Look up 'Bent Thomsen' in Google