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

Tue, 01 Jan 2008 00:00:00 +0100

Niusha Hakimipour, Paul A. Strooper, Roger Duke:
Exploring Model-Based Development for the Verification of Real-Time Java Code. VERIFY 2008