計畫
(Principal Investigator)


第 1 到 7 筆結果，共 7 筆。

啟始時間標題P-Investigator經費來源
2019Formal Verification of Concurrent Software SystemsYee-Jsong JuanNational Science and Technology Council
2010Formal Verification of Concurrent Software SystemsYee-Jsong JuanNational Science and Technology Council
2008Formal Verification of Concurrent Software SystemsYee-Jsong JuanNational Science and Technology Council
2006Formal Verification of Software Source CodeYee-Jsong JuanNational Science and Technology Council
2004Modeling and Hybrid Verification of High-Assurance Properties for Real Time Software SystemsYee-Jsong JuanNational Science and Technology Council
2003Component-Based Software Modeling and VerificationYee-Jsong JuanNational Science and Technology Council
2002Formal Verification of Concurrent and Real-Time Software SystemsYee-Jsong JuanNational Science and Technology Council