An Approach for Checking OSEK/VDX Applications.

Haitao Zhang Toshiaki Aoki Kenro Yatake Min Zhang Hsin-Hung Lin

Published in: QSIC (2013)

Keyphrases

search algorithm
three dimensional
natural language
consistency checking