検索結果 19 件
デジタル文書・図像類
全国の図書館
- 件名ソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT Interpolation
- 一般注記...検証を研究目的とする.アセンブリプログラムを対象に,ソフトウェアモデル検査技術を開発し,組込みアセンブリプログラムのリアルタイム安全性検証の開発......研究目的とする.(1)アセンブリプログラムを変換して,組込みソフトウェア......-31 出典:「組込みアセンブリプログラムのリアルタイム安全性のソフトウェアモデル検査手法の開発」研究...
デジタル文書・図像類
全国の図書館
- 件名ソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT 定理証明
- 一般注記...る最小なモデル構築器(アセンブリプログラムから割込み処理が埋め込まれた最......モデル検査による組込みアセンブリプログラムの安全性検証」課題番号15K00093(KAKEN:科学研究...
デジタル文書・図像類
全国の図書館
- 件名iPS細胞 β-catenin CBP/p300 リプログラム 多能性幹細胞 転写コアクティベーター ES細胞
検索結果は以上です。