平石, 裕美, 京都産業大学1997-1998<Y151-H09680348>
国立国会図書館
- 件名形式的検証 論理設計検証 様相論理 並列アルゴリズム 分散アルゴリズム 記号モデル検...
平石, 裕実, 京都産業大学1993-1994<Y151-H05680285>
国立国会図書館
- 件名形式的設計検証 有限状態システム 時相論理 記号モデル検査 論理設計検証
平石, 裕実, 京都産業大学1991-1992<Y151-H03650301>
国立国会図書館
- 件名論理設計検証 形式的検証 時相論理 計算機援設計 二分決定グラフ
矢島, 脩三, 京都大学1991-1992<Y151-H03555074>
国立国会図書館
- 件名論理合成 論理設計検証 順序回路 論理関数簡単化 状態割当て 時相論理 論理設計支...
矢島, 脩三, 京都大学1990-1991<Y151-H02452162>
国立国会図書館
- 件名論理関数 二分決定グラフ 論理関数処理 計算機援用設計 記号シミユレーシヨン タイミング検証 論理設計検証 計算複雑さ
矢島, 脩三, 京都大学1989-1990<Y151-H01850074>
国立国会図書館
- 件名論理設計検証 タイミング検証 論理シミユレーシヨン 記号シミユレーシヨン...
矢島, 脩三, 京都大学1986-1987<Y151-S61850062>
国立国会図書館
- 件名論理設計検証 論理シミユレーシヨン ベクトルプロセツサ 時相論理 仕様記...