Project title/計畫英文名
程式之模組性與擴充性:驗證方法與工具-子計畫三:以建構式時態介面為基礎之模組化規格、驗證與合成
Project Number/計畫編號
97-2221-E-002-074-MY3
Translated Name/計畫中文名
程式之模組性與擴充性:驗證方法與工具-子計畫三:以建構式時態介面為基礎之模組化規格、驗證與合成
Project Principal Investigator/計畫主持人
Funding Organization
Start date/計畫起
01-08-2010
Expected Completion/計畫迄
31-07-2011