検索結果 2 件
デジタル文書・図像類
全国の図書館
- 件名ソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT Inter...
- 一般注記...アセンブリプログラムを対象に,ソフトウェアモデル検査技術を開発し,組込みアセンブリ......ログラムのリアルタイム安全性のソフトウェアモデル検査手法の開発」研究成果報告書 課題番号18K11239(KAK...
デジタル文書・図像類
全国の図書館
- 件名ソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT 定理証明
- 一般注記...-31 出典:研究課題「革新的ソフトウェアモデル検査による組込みアセンブリプログラムの安全性検証」課題番号15K...
検索結果は以上です。