ハードウェアの高位設計・検証支援システム

Notes on use

Note (General)：: 文部科学省科学研究費補助金研究成果報告書参考資料の請求記号: Y151-H05558031, Y151-H09680339

Search by Bookstore

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: 図書
Title: ハードウェアの高位設計・検証支援システム
Title Transcription: ハードウェアノコウイセッケイケンショウシエンシステム
Author/Editor: 谷口健一, 大阪大学 [著]
Author Heading: 谷口, 健一タニグチ, ケンイチ
大阪大学オオサカダイガク
Publication, Distribution, etc.: [谷口健一]
Publication Date: 2001-2004
2005.3
Publication Date (W3CDTF): 2001
2004
Extent: 1冊
Additional Title: 研究種目基盤研究(B)
Place of Publication (Country Code): JP
Text Language Code: jpn
eng
Subject Heading: 整数変数つきFSM / プレスブルガー文 / 時相論理式 / 自動検証 / 時間オートマトン群 / 実時間システムセイスウヘンスウツキ FSM / プレスブルガーブン / ジソウロンリシキ / ジドウケンショウ / ジカンオートマトングン / ジツジカンシステム
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
参考資料の請求記号: Y151-H05558031, Y151-H09680339
Research Project No. of Grants-in-Aid for Scientific Research: 13558028
Holding library: 国立国会図書館
Call No.: Y151-H13558028
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007933117
http://id.ndl.go.jp/bib/000007933117
Bibliographic Record Category (NDL): 214