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

Niusha Hakimipour, Paul A. Strooper, Roger Duke

Browse the full CADE paper archive.