A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude.

Longfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu

Browse the full TASE paper archive.