|
English
|
正體中文
|
简体中文
|
Total items :0
|
|
Visitors :
51929108
Online Users :
1007
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
|
|
|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"jeffrey j p tsai"
Showing items 301-310 of 384 (39 Page(s) Totally)
<< < 26 27 28 29 30 31 32 33 34 35 > >>
View [10|25|50] records per page
| 亞洲大學 |
1996-08 |
Verifying Timing Properties of Distributed Real-Time Systems Using Timing Constraints Petri Nets
|
Jeffrey J. P. Tsai;S. Yang, C. Chang, E. Juan |
| 亞洲大學 |
1996-08 |
Verifying Timing Properties of Distributed Real-Time Systems Using Timing Constraints Petri Nets
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1996-06 |
Automatic Generation of Verification Scenario from Systems Requirements Specifications
|
Jeffrey J. P. Tsai;X. Zeng, T. Weigert |
| 亞洲大學 |
1996-06 |
Automatic Generation of Verification Scenario from Systems Requirements Specification
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1996-03 |
Debugging for Timing Constraint Violations
|
Jeffrey J. P. Tsai;Y. Bi;Y. Yang |
| 亞洲大學 |
1996-02 |
A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems
|
Jeffrey J. P. Tsai; |
| 亞洲大學 |
1996-02 |
A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1996 |
Distributed Real-Time Systems: Monitoring, Visualization, Debugging, and Analysis
|
蔡進發;Jeffrey, J.P.Tsai;Y.Bi;Y.Bi;S.Yang;S.Yang;R.Smith;R.Smith |
| 亞洲大學 |
1995.11 |
A Knowledge-Based Approach for Requirements Analysis
|
A.Liu;A.Liu;蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1995.09 |
A Knowledge-Based Approach to Specification-Based Software Architecture
|
蔡進發;Jeffrey, J.P.Tsai |
Showing items 301-310 of 384 (39 Page(s) Totally)
<< < 26 27 28 29 30 31 32 33 34 35 > >>
View [10|25|50] records per page
|
