An Introduction to Mathematical Methods for System Verification(Special Issue on Embedded Computing Systems)
-
- TAKAHASHI Koichi
- 産業技術総合研究所システム検証研究センター
-
- TAKAI Toshinori
- 産業技術総合研究所システム検証研究センター
Bibliographic Information
- Other Title
-
- システム検証における数理的手法の紹介 : 組込みシステムへの適用事例(組込みシステム特集号)
- システム検証における数理的手法の紹介--組込みシステムへの適用事例
- システム ケンショウ ニ オケル スウリテキ シュホウ ノ ショウカイ クミコミ システム エノ テキヨウ ジレイ
Search this article
Journal
-
- SYSTEMS, CONTROL AND INFORMATION
-
SYSTEMS, CONTROL AND INFORMATION 51 (9), 393-398, 2007
THE INSTITUTE OF SYSTEMS, CONTROL AND INFORMATION ENGINEERS
- Tweet
Details 詳細情報について
-
- CRID
- 1390282679279241088
-
- NII Article ID
- 110006390814
-
- NII Book ID
- AN10062329
-
- ISSN
- 24241806
- 09161600
-
- NDL BIB ID
- 8898264
-
- Text Lang
- ja
-
- Data Source
-
- JaLC
- NDL
- CiNii Articles