公開日期 | 標題 | 作者 | 來源出版物 | WOS | 全文 |
---|---|---|---|---|---|
2003 | Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems | J. Tsai; A. Sahay; E. Juan | IEEE Transactions on Knowledge and Data Engineering | ||
2001 | Modelling and Verification of High-Assurance Properties of Safety-Critical Systems | J. Tsai; E. Juan | The Computer Journal | ||
1997 | A Parallel Evaluation Model for Software Architecture Specifications | J. Tsai; B. Li; E. Juan | Communications of the ACM | ||
2001 | Reduction Methods for Real-Time Systems using Delay Time Petri Nets | E. Juan ; J. Tsai; T. Murata; Y. Zhou | IEEE Transactions on Software Engineering |