Login / Signup

A model-based development approach for the verification of real-time Java code.

Niusha HakimipourPaul A. StrooperAndy J. Wellings
Published in: Concurr. Comput. Pract. Exp. (2011)
Keyphrases
  • real time
  • case study
  • java code
  • information systems
  • knowledge management
  • domain independent
  • byte code