Search results 19
Paper図書
National Diet Library
- Subject Heading認知症ケア / ケア環境整備 / 環境づくりプログラム
Digital文書・図像類
Other Libraries in Japan
- Subject Headingソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT Interpolation
- Note (General)...検証を研究目的とする.アセンブリプログラムを対象に,ソフトウェアモデル検査技術を開発し,組込みアセンブリプログラムのリアルタイム安全性検証の開発......研究目的とする.(1)アセンブリプログラムを変換して,組込みソフトウェア......-31 出典:「組込みアセンブリプログラムのリアルタイム安全性のソフトウェアモデル検査手法の開発」研究...
Digital文書・図像類
Other Libraries in Japan
- Subject Headingソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT 定理証明
- Note (General)...る最小なモデル構築器(アセンブリプログラムから割込み処理が埋め込まれた最......モデル検査による組込みアセンブリプログラムの安全性検証」課題番号15K00093(KAKEN:科学研究...
Digital文書・図像類
Other Libraries in Japan
- Subject HeadingiPS細胞 β-catenin CBP/p300 リプログラム 多能性幹細胞 転写コアクティベーター ES細胞
Reached to the end of result.