Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 記事
- Author/Editor
- 小形 真平青木 善貴中川 博之小林 一樹福島 祐子
- Series Title
- Alternative Title
- Prototyping and Evaluation of Support Method of Model Checking using Modeling Notation of IoT System Architecture
- Periodical title
- 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
- No. or year of volume/issue
- 117(137):2017.7.19-21
- Volume
- 117
- Issue
- 137