Verifying OSEK/VDX OS Design Using Its Formal Specification.

Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki

Browse the full TASE paper archive.