助研究員 |
陳郁方
Research Grants
與院外合作之計畫
資訊所
編號
起迄年月
計劃編號
計劃名稱
主持人
協同主持人
補助單位
1
2012/08–2013/07
NSC101-2221-E-001-007
形式化程式建構、分析、驗證之方法與應用-子計畫四:整合性軟體模型驗證架構 ─ 具有遞迴、指標操作、多執行緒特性程式驗證問題之探討(I)
陳郁方
國科會
2
2010/01–2012/07
NSC99-2218-E-001-002-MY3
在多核架構下軟體驗證問題之探討
陳郁方
國科會
