Login / Signup

Model-based verification of a framework for flexible scheduling in the real-time specification for Java.

Alexandros ZerzelidisAndy J. Wellings
Published in: JTRES (2006)
Keyphrases
  • real time
  • lightweight
  • programming language
  • main contribution
  • theoretical framework
  • real time database systems
  • database
  • neural network
  • low cost
  • high speed
  • web applications
  • conceptual model
  • modular design