有限遅延幅モデルにおける非同期式論理回路の形式的検証に関する研究

Notes on use

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: 著者：米田, 友洋, 1957- ヨネダ, トモヒロ, 1957- ( 00182820 )Authorities
Publication Date: 1997-1998
Publication Date (W3CDTF): 1997
Extent: 冊
Additional Title: 研究種目基盤研究(C)
Subject Heading: 形式的検証ケイシキテキケンシヨウ
非同期式回路ヒドウキシキカイロ
有限遅延幅モデルユウゲンチエンハバモデル
タイムペトリネツトタイムペトリネツト
時間トレース理論ジカントレースリロン
Partial order reduction PARTIALORDERREDUCTION
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 09680329
Holding library: 国立国会図書館
Call No.: Y151-H09680329
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007022512
http://id.ndl.go.jp/bib/000007022512
Bibliographic Record Category (NDL): 214