Aoki, Toshiaki, Satoh, Makoto, Tani, Mitsuhiro, Yatake, Kenro, Kishi, Tomoji北陸先端科学技術大学院大学先端科学技術研究科情報科学系2016-05-23Research report (School of Information Science, Graduate School of Advanced Science and Technology, Japan Advanced Institute of Science and Technology)IS-RR-2016-002p.1-11
Other Libraries in Japan
- Subject Headingautomotive operating systems model checking testing design verification test case generation