Towards Formal Description of Standards for Automotive Operating Systems.

Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi

Browse the full ICST paper archive.