Formal Model-Based Test for AUTOSAR Multicore RTOS.

Ling Fang, Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki

Browse the full ICST paper archive.