Model Checking Checking of Software for Microcon-trollers
収録刊行物
-
- ACM Transactions on Embedded Computing Sys-tems
-
ACM Transactions on Embedded Computing Sys-tems 9 (4), 1-27, 2010
- Tweet
詳細情報
-
- CRID
- 1571980074195989120
-
- NII論文ID
- 20001705098
-
- データソース種別
-
- CiNii Articles