Skip to main content
English
中文
Log In
Email address
Password
Log in
Log in with ORCID
NTU Single Sign On
New user? Click here to register.
Have you forgotten your password?
Communities & Collections
Research Outputs
Fundings & Projects
People
Organizations
Statistics
Home
.National Taiwan University / 國立臺灣大學
Project / 研究計畫
即時系統全符號式驗證工具的底層基礎技術(3/3)
Export
Statistics
Options
Show all metadata (technical view)
即時系統全符號式驗證工具的底層基礎技術(3/3)
Details
Primary Data
Project title
即時系統全符號式驗證工具的底層基礎技術(3/3)
Internal ID
92-2213-E-002-103-
Principal Investigator
FARN WANG
Start Date
August 1, 2003
End Date
July 31, 2004
Partner Organizations
National Science and Technology Council