SmartOSEK Based Design and Verification for In-vehicle Network System: A Model-Based Approach.

Guoqing Yang Minde Zhao Hong Li Zhaohui Wu

Published in: ICARCV (2006)

Keyphrases

network design
computer aided
functional verification
design process
engineering design
face verification
real time
web services
case study
wireless sensor networks
data flow
formal methods