Sign in
A model-based development approach for the verification of real-time Java code.
Niusha Hakimipour
Paul A. Strooper
Andy J. Wellings
Published in:
Concurr. Comput. Pract. Exp. (2011)
Keyphrases
</>
real time
case study
java code
information systems
knowledge management
domain independent
byte code