年 〜
年

検索結果 3 件

並行動作順序回路システムの設計と検証に関する研究

並行動作順序回路システムの設計と検証に関する研究
紙図書
谷口, 健一, 大阪大学1999-2000<Y151-H11680358>
国立国会図書館
  • 件名拡張有限状態機械 時間オートマトン 記号モデル検査 プレスブルガー文 out-of-order型パイプラインC...

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

形式的論理設計検証に関する研究
紙図書
平石, 裕美, 京都産業大学1997-1998<Y151-H09680348>
国立国会図書館
  • 件名形式的検証 論理設計検証 様相論理 並列アルゴリズム 分散アルゴリズム 記号モデル検査 BDD

有限状態システムの形式的設計検証に関する研究

有限状態システムの形式的設計検証に関する研究
紙図書
平石, 裕実, 京都産業大学1993-1994<Y151-H05680285>
国立国会図書館
  • 件名形式的設計検証 有限状態システム 時相論理 記号モデル検査 論理設計検証

検索結果は以上です。