TY  - RPRT
TI  - Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems
AU  - Toshiaki Aoki
AU  - Aritoshi Hata
AU  - Kazusato Kanamori
AU  - Satoshi Tanaka
AU  - Yuta Kawamoto
AU  - Yasuhiro Tanase
AU  - Masumi Imai
AU  - Fumiya Shigemitsu
AU  - Masaki Gondo
AU  - Tomoji Kishi
PY  - 2023
UR  - https://arxiv.org/abs/2310.00973
ID  - 2310.00973
ER  -