VERTAF:可驗證式嵌入式即時應用軟體框架

推薦分享

資源連結

連結到原始資料 (您即將開啟新視窗離開本站)

後設資料

資料識別：: C03045116
資料類型：: 期刊論文
著作者：: 熊博安
描述：: 來源期刊:e 科技雜誌; 卷期:33 民92.09; 頁次:頁40-44
來源：: 臺灣期刊論文索引系統
管理權：: 國家圖書館

授權聯絡窗口

: 管理單位：知識服務組-期刊
聯絡E-mail：nclper@ncl.edu.tw
電話：02-23619132轉305

引用這筆典藏

評分與驗證

推薦藏品

: 中國佛學的發展結構與詮釋方法論--創...
: 戰國至漢初的儒學傳承--以楚地簡帛為...
: 臺中港漁港暨濱海遊憩區植被變遷調查報...
: 鳳的傳人--論中國上古史的二元對立
: 洛神賦圖：一個傳統的形塑與發展
: 最高行政法院九十年度裁字第七九六號裁...