|
"mok a k"的相關文件
顯示項目 11-22 / 22 (共1頁)
1
每頁顯示[10|25|50]項目
| 臺大學術典藏 |
2003 |
Utilization bound revisited
|
Chen, Deji; Mok, A.K.; Kuo, Tei-Wei; TEI-WEI KUO |
| 國立臺灣大學 |
2000 |
Real-Time Data Semantics and Similarity-Based Concurrency Control
|
Kuo, Te-Wei; Mok, A.K. |
| 國立臺灣大學 |
1994-10 |
RTL and Refutation by Positive Cycles
|
王 凡; Mok, A. K.; Wang, Farn; Mok, A. K. |
| 國立臺灣大學 |
1993-06 |
A Verifier for Distributed Real-Time Systems with Bounded Integer Variables
|
王 凡; Mok, A. K.; Wang, Farn; Mok, A. K. |
| 臺大學術典藏 |
1993-06 |
A Verifier for Distributed Real-Time Systems with Bounded Integer Variables
|
Mok, A. K.; Wang, Farn; 王 凡; Mok, A. K.; Wang, Farn |
| 國立臺灣大學 |
1993-04 |
Symbolic Model-Checking for Distributed Real-Time Systems
|
王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn; Mok, A. K.; Emerson, E. A. |
| 臺大學術典藏 |
1993-04 |
Symbolic Model-Checking for Distributed Real-Time Systems
|
Mok, A. K.; Emerson, E. A.; Wang, Farn; 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn |
| 國立臺灣大學 |
1993 |
Symbolic Model Checking for Event-Driven Real-Time Systems
|
王 凡; Yang, J.; Mok, A. K.; Wang, Farn; Yang, J.; Mok, A. K. |
| 臺大學術典藏 |
1993 |
Symbolic Model Checking for Event-Driven Real-Time Systems
|
Yang, J.; Mok, A. K.; Wang, Farn; 王 凡; Yang, J.; Mok, A. K.; Wang, Farn; Yang, J.; Mok, A. K. |
| 國立臺灣大學 |
1992-12 |
Asynchronous Real-Time Event Logic
|
王 凡; Mok, A. K.; Wang, Farn; Mok, A. K. |
| 臺大學術典藏 |
1992-12 |
Asynchronous Real-Time Event Logic
|
Wang, Farn; Mok, A. K.; 王 凡; Mok, A. K.; Wang, Farn; Mok, A. K. |
| 國立臺灣大學 |
1992-05 |
Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL
|
王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn; Mok, A. K.; Emerson, E. A. |
顯示項目 11-22 / 22 (共1頁)
1
每頁顯示[10|25|50]項目
|
