| |
| 2000 | ||
|---|---|---|
| 4 | Jeffrey J. P. Tsai, Kuang Xu: A comparative study of formal verification techniques for software architecture specifications. Ann. Software Eng. 10: 207-223 (2000) | |
| 1999 | ||
| 3 | EE | Jeffrey J. P. Tsai, Kuang Xu: Architecture Specification of Multimedia Software Systems. ICMCS, Vol. 1 1999: 97-102 |
| 2 | Jeffrey J. P. Tsai, Kuang Xu: An Empirical Evaluation of Deadlock Detection in Software Architecture Specifications. Ann. Software Eng. 7: 95-126 (1999) | |
| 1 | EE | Kuang Xu, Jeffrey J. P. Tsai: Specification of Multimedia Software Systems Using an Object Oriented Architecture Description Language. International Journal of Software Engineering and Knowledge Engineering 9(6): 767-800 (1999) |
| 1 | Jeffrey J. P. Tsai | [1] [2] [3] [4] |