Login / Signup
A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude.
Longfei Zhu
Peng Liu
Jianqi Shi
Zheng Wang
Huibiao Zhu
Published in:
TASE (2013)
Keyphrases
</>
real time
probabilistic model
genetic algorithm
artificial intelligence
software engineering
design principles