Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling.

Kenro Yatake, Toshiaki Aoki

Browse the full ICTAC paper archive.