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

Niusha Hakimipour Paul A. Strooper Roger Duke

Published in: VERIFY (2008)

Keyphrases

real time
rapid development
case study
software engineering
development process
relational databases
development environment