|
СТ |
Modeling and Verification of High-Assurance Properties of Safety-Critical Systems |
2001 |
Tsai J.J. P., Juan E.Y. T. |
|
|
|
The Computer J. |
05.01.2002 |
|
СТ |
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification |
1999 |
Tsai J.J. P., Liu A., Juan E., Sahay A. |
|
|
|
IEEE Trans. on Knowledge and Data Engineering |
27.05.1999 |
|
СТ |
A Logic-Based Transformation System |
1998 |
Tsai J.J. P., Li B., Weigert T. |
|
|
|
IEEE Trans. on Knowledge and Data Engineering |
11.06.1998 |
|
СТ |
Parallel Evaluation of Software Architecture Specifications |
1997 |
Tsai J.J. P., Li B., Juan E.Y. T. |
|
|
|
Communications of the ACM |
05.03.1997 |
