Modeling and Verification of AUTOSAR OS and EMS Application.

Yunhui Peng, Yanhong Huang, Ting Su, Jian Guo

Browse the full TASE paper archive.