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
Search this article
Journal
-
- Research report
-
Research report 2016 [1-11], 2016-05-23
Japan Advanced Institute of Science and Technology
- Tweet
Details 詳細情報について
-
- CRID
- 1570291227552123776
-
- NII Article ID
- 110010061387
-
- NII Book ID
- AN10495756
-
- ISSN
- 09187553
-
- Text Lang
- en
-
- Data Source
-
- CiNii Articles
