Applications of Model Checking to Control Systems
-
- TSUCHIYA Tatsuhiro
- 大阪大学大学院情報科学研究科
-
- SEKIZAWA Toshifusa
- 大阪学院大学情報学部
Bibliographic Information
- Other Title
-
- 制御システム分野におけるモデル検査の応用
- セイギョ システム ブンヤ ニ オケル モデル ケンサ ノ オウヨウ
Search this article
Journal
-
- SYSTEMS, CONTROL AND INFORMATION
-
SYSTEMS, CONTROL AND INFORMATION 57 (5), 195-200, 2013
THE INSTITUTE OF SYSTEMS, CONTROL AND INFORMATION ENGINEERS
- Tweet
Details 詳細情報について
-
- CRID
- 1390282679280516224
-
- NII Article ID
- 110009612449
-
- NII Book ID
- AN10062329
-
- ISSN
- 24241806
- 09161600
-
- NDL BIB ID
- 024464753
-
- Text Lang
- ja
-
- Data Source
-
- JaLC
- NDL
- CiNii Articles