Using model checking to help discover mode confusions and other automation surprises
収録刊行物
-
- Reliability Engineering & System Safety
-
Reliability Engineering & System Safety 75 (2), 167-177, 2002-02
Elsevier BV
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1361981471014841856
-
- NII論文ID
- 80012900925
-
- ISSN
- 09518320
-
- データソース種別
-
- Crossref
- CiNii Articles