Combined model checking and testing create confidence in correctness of commercial automotive operating system
-
- Aoki Toshiaki
- School of Information Science, Japan Advanced Institute of Science and Technology
-
- Satoh Makoto
- Renesas System Design Co., Ltd.
-
- Tani Mitsuhiro
- DENSO CORPORATION
-
- Yatake Kenro
- School of Information Science, Japan Advanced Institute of Science and Technology
-
- Kishi Tomoji
- Faculty of Science and Engineering Waseda University
この論文をさがす
収録刊行物
-
- Research report
-
Research report 2016 [1-11], 2016-05-23
北陸先端科学技術大学院大学
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1570291227552123776
-
- NII論文ID
- 110010061387
-
- NII書誌ID
- AN10495756
-
- ISSN
- 09187553
-
- 本文言語コード
- en
-
- データソース種別
-
- CiNii Articles
