|
|
???tair.name??? >
???browser.page.title.author???
|
"wang farn"???jsp.browse.items-by-author.description???
Showing items 26-43 of 43 (2 Page(s) Totally)
<< < 1 2
View [10|25|50] records per page
| 國立臺灣大學 |
2004 |
Inductive Composition of Numbers with Maximum, Minimum, and Addition - A New Theory for Program Execution-Time Analysis
|
Wang, Farn |
| 臺大學術典藏 |
2004 |
BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reduction
|
Wang, Farn; Schmidt, K.; Yu, Fang; Huang, Geng-Dian; Wang, Bow-Yaw; Wang, Farn; Schmidt, K.; Yu, Fang; Huang, Geng-Dian; Wang, Bow-Yaw |
| 臺大學術典藏 |
2004 |
Reachability solution characterization of parametric real-time systems
|
Wang, Farn; Yen, Hsu-Chun; Wang, Farn; Yen, Hsu-Chun |
| 國立臺灣大學 |
2003 |
Verification of Real-Time Systemswith BDD-like Data-Structures
|
Wang, Farn |
| 國立臺灣大學 |
1995-04 |
A Temporal Logic for Real-Time Partial-Ordering with Named Transactions
|
王 凡; Wang, Farn |
| 臺大學術典藏 |
1995-04 |
A Temporal Logic for Real-Time Partial-Ordering with Named Transactions
|
Wang, Farn; Wang, Farn |
| 國立臺灣大學 |
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. |
| 國立臺灣大學 |
1984-08 |
Timing Behavior Analysis for Real-Time Systems
|
王 凡; Wang, Farn |
| 臺大學術典藏 |
1984-08 |
Timing Behavior Analysis for Real-Time Systems
|
王 凡; Wang, Farn; Wang, Farn |
Showing items 26-43 of 43 (2 Page(s) Totally)
<< < 1 2
View [10|25|50] records per page
|
