Results 1-7 of 7 (Search time: 0.001 seconds).
| Start Date | Title | P-Investigator | Funding Organization/經費來源 |
|---|---|---|---|
| 2019 | Formal Verification of Concurrent Software Systems | Yee-Jsong Juan | National Science and Technology Council |
| 2010 | Formal Verification of Concurrent Software Systems | Yee-Jsong Juan | National Science and Technology Council |
| 2008 | Formal Verification of Concurrent Software Systems | Yee-Jsong Juan | National Science and Technology Council |
| 2006 | Formal Verification of Software Source Code | Yee-Jsong Juan | National Science and Technology Council |
| 2004 | Modeling and Hybrid Verification of High-Assurance Properties for Real Time Software Systems | Yee-Jsong Juan | National Science and Technology Council |
| 2003 | Component-Based Software Modeling and Verification | Yee-Jsong Juan | National Science and Technology Council |
| 2002 | Formal Verification of Concurrent and Real-Time Software Systems | Yee-Jsong Juan | National Science and Technology Council |
