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