安 全 關 鍵 計 算 實 驗 室
SAFETY-CRITICAL COMPUTING LABORATORY
1403B 教室
- 指 導 教 授 : 范 金 鳳 教 授
- 研 究 生 人 數 : 7 人
- 硬 體 設 備 名 稱 & 件 數 :
- 80486 DX-40, 66, 586 共 六 部
- 平 行 處 理 計 算 機 一 部(Transputer T800)
- 雷 射 印 表 機 一 部
- 軟 體 設 備 名 稱 & 件 數 :
- 成 果 報 告:
- 先 後 完 成 以 下 多 項 成 果 :
- 超 純 量 最 佳 化 編 譯 器
- 應 用 軟 體 科 學 理 論 制 定 工 程 計 劃 審 查 作 業 之 品 質 指 標
- 電 腦 輔 助 審 查 技 術 之 發 展 與 應 用
- 以 證 據 為 基 礎 的 軟 體 安 全 認 證 技 術 之 發 展 及 應 用
- 數 位 軟 體 安 全 分 析 技 術 發 展 及 應 用