Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
2000 | On the verification of Wireless Transaction Protocol using SGM and RED. | Hsiung, Pao-Ann; Wang, Farn; Chen, Ruey-Cheng; FARN WANG | 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea | | | |
1997 | Parametric Analysis of Computer Systems. | Wang, Farn; Hsiung, Pao-Ann; FARN WANG | Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings | | | |
1999 | Scheduling System Verification. | Hsiung, Pao-Ann; FARN WANG ; Kuo, Yue-Sun | Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings | 5 | 0 | |
1998 | A State Graph Manipulator Tool for Real-Time System Specification and Verification. | Hsiung, Pao-Ann; FARN WANG | 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 27-29 October 1998, Hiroshima, Japan | | | |
1999 | Verification of Concurrent Client-Server Real-Time Scheduling Systems. | Hsiung, Pao-Ann; Wang, Farn; Kuo, Yue-Sun; FARN WANG | 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China | | | |