| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 33 |       | Farn Wang, Pao-Ann Hsiung: Efficient and User-Friendly Verification. IEEE Trans. Computers 51(1): 61-83 (2002) |
| 28 | | Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen: On the verification of Wireless Transaction Protocol using SGM and RED. RTCSA 2000: 379-383 |
| 25 |  | Pao-Ann Hsiung, Farn Wang: User-Friendly Verification. FORTE 1999: 279-294 |
| 24 | | Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo: Verification of Concurrent Client-Server Real-Time Scheduling Systems. RTCSA 1999: 228-235 |
| 23 | | Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo: Scheduling System Verification. TACAS 1999: 19-33 |
| 20 | | Farn Wang, Pao-Ann Hsiung: Automatic Verification on the Large. HASE 1998: 134-141 |
| 19 | | Pao-Ann Hsiung, Farn Wang: A State Graph Manipulator Tool for Real-Time System Specification and Verification. RTCSA 1998: 181-188 |
| 18 | | Farn Wang, Pao-Ann Hsiung: Parametric Analysis of Computer Systems. AMAST 1997: 539-553 |
Selection of 8 from 79 records - Farn Wang has 37 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page