Login / Signup

A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude.

Longfei ZhuPeng LiuJianqi ShiZheng WangHuibiao Zhu
Published in: TASE (2013)
Keyphrases
  • real time
  • probabilistic model
  • genetic algorithm
  • artificial intelligence
  • software engineering
  • design principles