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

Guoqing Yang, Minde Zhao, Hong Li, Zhaohui Wu

Browse the full ICARCV paper archive.