書誌事項
- タイトル別名
-
- An Introduction to Mathematical Methods for System Verification(Special Issue on Embedded Computing Systems)
- システム検証における数理的手法の紹介--組込みシステムへの適用事例
- システム ケンショウ ニ オケル スウリテキ シュホウ ノ ショウカイ クミコミ システム エノ テキヨウ ジレイ
この論文をさがす
収録刊行物
-
- システム／制御／情報
-
システム／制御／情報 51 (9), 393-398, 2007
一般社団法人 システム制御情報学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390282679279241088
-
- NII論文ID
- 110006390814
-
- NII書誌ID
- AN10062329
-
- ISSN
- 24241806
- 09161600
-
- NDL書誌ID
- 8898264
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
- NDL
- CiNii Articles