Login / Signup

Model-based schedulability analysis of safety critical hard real-time Java programs.

Thomas BøgholmHenrik Kragh-HansenPetur OlsenBent ThomsenKim Guldstrand Larsen
Published in: JTRES (2008)
Keyphrases
  • safety critical
  • java programs
  • data analysis
  • real time
  • machine learning
  • knowledge base
  • cooperative
  • relational databases
  • low cost
  • decision makers
  • formal methods
  • safety analysis