Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
Have you forgotten your password?
Home
.National Taiwan University / 國立臺灣大學
Project / 研究計畫
從假設保證式規格自動合成反應式模組之研究
從假設保證式規格自動合成反應式模組之研究
Details
Primary Data
Project title
從假設保證式規格自動合成反應式模組之研究
Internal ID
95-2221-E-002-127-
Principal Investigator
YIH-KUEN TSAY
Start Date
August 1, 2006
End Date
July 31, 2007
Partner Organizations
National Science and Technology Council