Search results 17
Paper図書
National Diet Library
- Subject HeadingシステムLSI / 形式的検証技術 / デバッグ
Paper図書
National Diet Library
- Subject Heading形式的検証 / モデル検査 / 静的解析 / 形式言語 / アクセス制...
Paper図書
National Diet Library
- Subject Heading設計検証 論理設計 形式的検証 並列処理 分散処理 クラスタシステム
Paper図書
National Diet Library
- Subject Headingリアルタイムソフトウェア / 形式的検証 / レベルタイムペトリネット / Partial orde...
Paper図書
National Diet Library
- Subject Heading非同期式回路 形式的検証 3値2線式符号 高位記述 有限幅遅延モデル タイムペトリネ...
Paper図書
National Diet Library
- Subject Heading形式的検証 / モデル検査 / アクティブソフトウェア / アクセス制...
Paper図書
National Diet Library
- Subject Heading情報セキユリテイ 暗号 暗号を用いたプロトコル 形式的検証 安全性 偽造不可能性 アルゴリズム
Paper図書
National Diet Library
- Subject Heading形式的検証 非同期式回路 有限遅延幅モデル タイムペトリネツト 時間ト...
Paper図書
National Diet Library
- Subject Heading論理設計検証 形式的検証 時相論理 計算機援設計 二分決定グラフ
Paper図書
National Diet Library
- Subject Heading時相論理 論理設計 形式的検証 論理関数処理 二分決定グラフ モデルチエツキング 仕様記述
Digital文書・図像類
Other Libraries in Japan
- Subject Heading組込みシステム ハイブリッドオートマトン モデル検査 抽象化精錬 仕様記述 形式的検証 動的再構成可能システム CEGAR
Digital文書・図像類
Available onlineOther Libraries in Japan
- Subject Heading形式的検証 モデル検査 静的解析 形式言語 アクセス制御 セキュリティ...
Digital文書・図像類
Available onlineOther Libraries in Japan
- Subject Heading形式的検証 モデル検査 静的解析 形式言語 アクセス制御 セキュリティ...
Digital文書・図像類
Available onlineOther Libraries in Japan
- Subject Heading形式的検証 等価性検証 二分決定グラフ formal verifica...
Digital博士論文
Other Libraries in Japan
- Subject Headingインタラクティブシステム ユーザインタフェース 形式的記述 形式的検証 タスク図 代数的仕様記述 抽象的順序機械 コンパイラ
Reached to the end of result.