Login / Signup

Automatic verification of application-tailored OSEK kernels.

Hans-Peter DeifelMerlin GöttlingerStefan MiliusLutz SchröderChristian DietrichDaniel Lohmann
Published in: FMCAD (2017)
Keyphrases
  • case study
  • support vector
  • artificial intelligence
  • social networks
  • information systems
  • multimedia
  • information technology
  • linear combination