書誌事項
- タイトル別名
-
- Applications of Model Checking to Control Systems
- セイギョ システム ブンヤ ニ オケル モデル ケンサ ノ オウヨウ
この論文をさがす
収録刊行物
-
- システム／制御／情報
-
システム／制御／情報 57 (5), 195-200, 2013
一般社団法人 システム制御情報学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390282679280516224
-
- NII論文ID
- 110009612449
-
- NII書誌ID
- AN10062329
-
- ISSN
- 24241806
- 09161600
-
- NDL書誌ID
- 024464753
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
- NDL
- CiNii Articles
