|
|
|
專書 |
|
1. |
蔡進發(Jeffrey J. P. Tsai)、 2002.
|
|
Compositional Verification of Concurrent and Real-Time Systems |
|
2. |
蔡進發(Jeffrey J. P. Tsai)、 2005.
|
|
Machine Learning Application in Software Engineering |
|
3. |
蔡進發(Jeffrey J. P. Tsai)、 2006.
|
|
Security Modeling and Analysis of Mobile Agent Systems |
|
4. |
蔡進發(Jeffrey J. P. Tsai)、 2006.
|
|
Ubiquitous Intelligence and Computing |
|
5. |
蔡進發(Jeffrey J. P. Tsai)、 2007.
|
|
Advances in Machine Learning Applications in Software Engineering |
|
6. |
蔡進發(Jeffrey J. P. Tsai) 2008.
|
|
Sensor Networks, Ubiquitous and Trustworthy Computing |
|
|