図書

形式的論理設計検証に関する研究

図書を表すアイコン

形式的論理設計検証に関する研究

国立国会図書館請求記号
Y151-H09680348
国立国会図書館書誌ID
000007022527
資料種別
図書
著者
平石, 裕美, 京都産業大学
出版者
-
出版年
1997-1998
資料形態
紙
ページ数・大きさ等
-
NDC
-
すべて見る

資料に関する注記

一般注記：

文部省科学研究費補助金研究成果報告書

書店で探す

書店で探す

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別
図書
タイトル
形式的論理設計検証に関する研究
タイトルよみ
ケイシキテキ ロンリ セッケイ ケンショウ ニ カンスル ケンキュウ
著者・編者
平石, 裕美, 京都産業大学
著者標目
平石, 裕美 ヒライシ, ヒロミ
出版年月日等
1997-1998
出版年（W3CDTF）
1997
数量
冊
その他のタイトル
研究種目 基盤研究(C)
件名標目
形式的検証 ケイシキテキケンシヨウ
論理設計検証 ロンリセツケイケンシヨウ
様相論理 ヨウソウロンリ
並列アルゴリズム ヘイレツアルゴリズム
分散アルゴリズム ブンサンアルゴリズム
記号モデル検査 キゴウモデルケンサ
BDD BDD