Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification.

Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu

Browse the full TASE paper archive.