矢島脩三, 京都大学1993-1994<Y151-H05558030>
国立国会図書館
- 件名時相論理 論理設計 形式的検証 論理関数処理 二分決定グラフ モデルチエツキング 仕様記述
矢島, 脩三, 京都大学1995-1996<Y151-H07558155>
国立国会図書館
- 件名形式的設計検証 機能レベル設計 時相論理 第一階述語論理 モデルチエツキング 論理関数処理 二分決定グラフ
矢島, 修三, 京都大学1993-1994<Y151-H05452352>
国立国会図書館
- 件名論理関数 二分決定グラフ 論理関数処理 論理設計支援 並列アルゴリズム 計算複雑さ 内容アドレスメ...
矢島, 脩三, 京都大学1990-1991<Y151-H02452162>
国立国会図書館
- 件名論理関数 二分決定グラフ 論理関数処理 計算機援用設計 記号シミユレーシヨン タイミング検証 論理...