公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1994 | RTL and Refutation by Positive Cycles. | Wang, Farn; Mok, Aloysius K.; FARN WANG | FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings | | | |
1997 | Similarity-based load adjustment for real-time data-intensive applications. | Ho, Shao-Juen; Kuo, Tei-Wei; Mok, Aloysius K.; TEI-WEI KUO | Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA | | | |
1993 | SSP: A semantics-based protocol for real-time data access | TEI-WEI KUO ; Mok, Aloysius K. | Real-Time Systems Symposium | | | |
1993 | SSP: A Semantics-Based Protocol for Real-Time Data Access. | TEI-WEI KUO ; Mok, Aloysius K. | Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993 | | | |
1993 | Symbolic Model Checking for Distributed Real-Time Systems. | Wang, Farn; Mok, Aloysius K.; Emerson, E. Allen; FARN WANG | FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings | | | |
1993 | Symbolic Model Checking for Event-Driven Real-Time Systems. | Yang, Jin; Mok, Aloysius K.; Wang, Farn; FARN WANG | Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993 | | | |
1994 | Using data similarity to achieve synchronization for free | TEI-WEI KUO ; Mok, Aloysius K. | IEEE Workshop on Real-Time Operating Systems and Software | | | |