Vol-371⫷ Vol-372 ⫸Vol-373
urn:nbn:de:0074-372-0


Vol-372/paper-7⫷Vol-372/paper-8⫸Vol-372/paper-9
Niusha HakimipourRoger DukePaul A. Strooper

Exploring Model-Based Development for the Verification of Real-Time Java Code