公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
1993 | Real-Time Distributed System Specification and Verification in APTL | F. Wang; A.K. Mok; E.A. Emerson; FARN WANG | ACM Transactions on Software Engineering and Methodology | |||
2003 | Symbolic Simulation of Real-Time Concurrent Systems | F. Wang; G.-D. Hwang; F. Yu; FARN WANG | RTCSA’2003 | 0 | ||
2002 | Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures | F. Wang; K. Schmidt; FARN WANG | IFIP FORTE, LNCS 2529 | |||
2003 | TCTL Inevitability Analysis of Dense-Time Systems | F. Wang; G.-D. Hwang; F. Yu; FARN WANG | 8th International Conference on Implementation and Application of Automata (CIAA 2003) | 4 | ||
2003 | Timing Parameter Characterization of Real-Time Systems | F. Wang; H.-C. Yen.; FARN WANG | 8th International Conference on Implementation and Application of Automata (CIAA) |