Project title
Formal Verification of Concurrent and Real-Time Software Systems
Code/計畫編號
NSC91-2213-E033-018
Translated Name/計畫中文名
並行性和即時性軟體系統的正規驗證
Project Coordinator/計畫主持人
Funding Organization/主管機關
Department/Unit
Year
2002
Start date/計畫起
01-08-2002
Expected Completion/計畫迄
31-07-2003
Bugetid/研究經費
508千元
ResearchField/研究領域
資訊科學--軟體