Projects
(Principal Investigator)



Results 1-7 of 7 (Search time: 0.003 seconds).

Start DateTitleP-InvestigatorFunding Organization/經費來源
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