検索結果 18 件
デジタル文書・図像類
全国の図書館
- 件名プログラム検証 モデル検査 高階関数 述語論理 型システム 抽象詳細化 時相論理
- 一般注記...ムのための停止性・活性仕様など時相論理仕様の自動検証手法。:The goal of the res...
紙図書
国立国会図書館
- 件名論理設計検証 論理シミユレーシヨン ベクトルプロセツサ 時相論理 仕様記述 ワークステーシヨン マルチスクリーン
紙図書
国立国会図書館
- 件名並列計算システム 代数的仕様記述法 仕様の検証 CCS CSP 時相論理 通信プロトコルの仕様記述 シストリツクアルゴリズム
デジタル文書・図像類
インターネットで読める全国の図書館
- 件名非同期システム パイプライン 相対遅延 3値論理 時相論理 システム検証 ヒステリシスゲート 非同期回路 計算機システ...
- 一般注記...た,非同期システムの検証手法,時相論理の新しい体系などを提案している. 研究報告書
検索結果は以上です。