中文版
English
副研究員  |  穆信成  
 
contact
vita
education
experience
interests
descriptions
activities
invited_visit
grants
publications
supervised
Personal (New window)
 
 
 
 
 
Research Grants
 

與院外合作之計畫

資訊所
編號 起迄年月 計劃編號 計劃名稱 主持人 協同主持人 補助單位
12012/08–2013/07NSC101-2221-E-001-005形式化程式建構、分析、驗證之方法與應用-子計畫一:並行程式正確性之靜態型別檢驗(I) 穆信成
 國科會
22011/08–2012/07NSC100-2221-E-001-003以依值型別與對話型別確保並行程式之正確性 穆信成莊庭瑞
 國科會
32008/08–2011/10NSC97-2221-E-001-003-MY3程式之模組性與擴充性:驗證方法與工具-總計畫 莊庭瑞王柏堯、穆信成
 國科會
42008/08–2011/07NSC97-2221-E-001-005-MY3程式之模組性與擴充性:驗證方法與工具-子計畫二:模組化、可擴充之依賴形態程式設計典範 穆信成莊庭瑞
 國科會
52008/08–2011/07NSC97-2221-E-001-004-MY3程式之模組性與擴充性:驗證方法與工具-子計畫ㄧ:ML程式語言的模組化驗證 莊庭瑞穆信成
 國科會
62007/08–2008/07NSC96-2221-E-001-013一個有反函數功能的函數程式語言 穆信成
 國科會
 
 
bg