Project title
Component-Based Software Modeling and Verification
Code/計畫編號
NSC92-2213-E033-031
Translated Name/計畫中文名
運用組件的軟體模型和正規驗證法
Project Coordinator/計畫主持人
Funding Organization/主管機關
Department/Unit
Year
2003
Start date/計畫起
01-08-2003
Expected Completion/計畫迄
31-07-2004
Bugetid/研究經費
580千元
ResearchField/研究領域
資訊科學--軟體