第 1 到 7 筆結果，共 7 筆。
| 啟始時間 | 標題 | P-Investigator | 經費來源 |
|---|---|---|---|
| 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 |
