Login / Signup

Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification.

Björn BartelsSabine GlesnerThomas Göthel
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
  • embedded systems
  • real time
  • machine learning
  • low cost
  • semantic gap
  • embedded real time systems
  • knowledge base
  • high level
  • relational databases
  • open source
  • higher level