検索結果 34 件
デジタル博士論文障害者向け資料あり
インターネットで読める国立国会図書館全国の図書館
- 目次・記事...統合テスト実行環境||第4章 モデル検査技術とエミュレーション技術の融合||第5章 エミュレーション...
- 件名モデル検査 エミュレーション 組込み機器 テスト
デジタル博士論文障害者向け資料あり
インターネットで読める国立国会図書館全国の図書館
- 目次・記事...再定義と支援ツール||第4章 モデル検査技術と実行テストを融合したテストケース実行環境||第5章 機...
- 件名テストケース設計プロセス テストケース自動生成 自然言語処理 テスト実行環境 モデル検査
紙図書
国立国会図書館
- 件名信頼性 / ユビキタスネットワーク / 動的再構成可能プロセッサ / 実時間システム / モデル検査 / 無線通信
紙図書
国立国会図書館
- 件名検証 モデル検査 抽象解釈 定理証明 グラフ探索 並行ゴミ集め セキユリテイ
紙図書
国立国会図書館
- 件名Webアプリケーション / XMLドキュメント / ソフトウェアリポジトリ / モデル検査 / 実時間並行ソフトウェア / Java
紙図書
国立国会図書館
- 件名リアルタイムシステム / パラメトリックモデル検査 / HW/SWコデザイン / オンチップCPU / 時間制...
デジタル文書・図像類
全国の図書館
- 件名ソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT Inter...
- 一般注記...ログラムを対象に,ソフトウェアモデル検査技術を開発し,組込みアセンブリ......して,SMT述語抽象化,SMTモデル検査及びSMT Interpola......ソフトウェアのリアルタイム性のモデル検査技術を開発する. The pu......アルタイム安全性のソフトウェアモデル検査手法の開発」研究成果報告書 課題番号18K11239(KAK...
デジタル文書・図像類
全国の図書館
- 件名分散スナップショット メタプログラム モデル検査 Maude
- 一般注記...ット到達可能性(DSR)を直接モデル検査する方法を考案し、実験により有......利点がある。また、DSRを直接モデル検査可能になったため、より高速にモデル検査可能になり、性質を満たさない場合反例を提示できるようにもなっ...
デジタル文書・図像類
全国の図書館
- 件名形式手法 形式検証 モデル検査
- 一般注記...より,現実的なセッティングで,モデル検査に基づいた手法の提案に成功し,実際に,現実問題に適用できるこ...