iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/corr/abs-2310-00973.rdf
Toshiaki Aoki et al.: Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems. (2023) journals/corr/abs-2310-00973 10.48550/ARXIV.2310.00973 Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems. 10 Toshiaki Aoki 1 Aritoshi Hata 2 Kazusato Kanamori 3 Satoshi Tanaka 4 Yuta Kawamoto 5 Yasuhiro Tanase 6 Masumi Imai 7 Fumiya Shigemitsu 8 Masaki Gondo 9 Tomoji Kishi 10 CoRR CoRR abs/2310.00973 2023 provenance information for RDF data of dblp record 'journals/corr/abs-2310-00973' 2023-10-18T16:20:58+0200