著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Aoki Toshiaki and Satoh Makoto and Tani Mitsuhiro and Yatake Kenro and Kishi Tomoji,Combined model checking and testing create confidence in correctness of commercial automotive operating system,Research report,09187553,北陸先端科学技術大学院大学,2016-05-23,2016,,[1-11],https://cir.nii.ac.jp/crid/1570291227552123776,