|
English
|
正體中文
|
简体中文
|
總筆數 :0
|
|
造訪人次 :
52185804
線上人數 :
840
教育部委託研究計畫 計畫執行:國立臺灣大學圖書館
|
|
|
"蔡進發"的相關文件
顯示項目 321-345 / 426 (共18頁)
<< < 8 9 10 11 12 13 14 15 16 17 > >>
每頁顯示[10|25|50]項目
| 國立臺灣大學 |
1999 |
高速推進器設計與性能解析研究(Ⅲ)─子計畫四：水噴推進系統之研究
|
蔡進發 |
| 亞洲大學 |
1998.04 |
Multimedia Software Engineering
|
蔡進發;Jeffrey, J.P.Tsai;F.Bastani;F.Bastani;M.Hirakawa;M.Hirakawa;S.B.;S.Barchayara |
| 亞洲大學 |
1998-04 |
Multimedia Software Engineering
|
蔡進發;Jeffrey, J.P.Tsai |
| 國立臺灣大學 |
1998 |
高速推進器設計與性能解析研究(Ⅱ)─水噴推進系統之研究
|
蔡進發 |
| 臺大學術典藏 |
1998 |
高速推進器設計與性能解析研究(Ⅱ)─水噴推進系統之研究
|
蔡進發; 蔡進發 |
| 亞洲大學 |
1997.10 |
An Incremental Verification of Software Architecture
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1997.08 |
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems
|
蔡進發;Jeffrey, J.P.Tsai;E.Juan;E.Juan |
| 亞洲大學 |
1997.02 |
An Incremental Verification Approach for Software Architecture Specification of Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1997-10 |
An Incremental Verification of Software Architecture
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1997-08 |
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1997-02 |
An Incremental Verification Approach for Software Architecture Specification of Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 國立臺灣大學 |
1997 |
高速推進器設計與性能解析研究(Ⅰ)─子計畫三：水噴推進系統之研究
|
蔡進發 |
| 臺大學術典藏 |
1997 |
高速推進器設計與性能解析研究(Ⅰ)─子計畫三：水噴推進系統之研究
|
蔡進發; 蔡進發 |
| 亞洲大學 |
1996.12 |
An Integrated Architecture for Distributed Real-Time Systems Analysis
|
S.Yang;S.Yang;蔡進發;Jeffrey, J.P.Tsai;A.Liu;A.Liu |
| 亞洲大學 |
1996.10 |
An Efficient Analysis Method for Large-Scale Concurrent Systems
|
E.Juan;E.Juan;蔡進發;Jeffrey, J.P.Tsai;T.Murata;T.Murata |
| 亞洲大學 |
1996.10 |
A Hybrid Execution Model for Logic-Based Requirements Specifications
|
蔡進發;Jeffrey, J.P.Tsai;B.Li;B.Li |
| 亞洲大學 |
1996.08 |
Verifying Timing Properties of Distributed Real-Time Systems Using Timing Constraints Petri Nets
|
蔡進發;Jeffrey, J.P.Tsai;S.Yang;S.Yang;P.Chang;P.Chang;E.Juan;E.Juan |
| 亞洲大學 |
1996.06 |
Automatic Generation of Verification Scenario from Systems Requirements Specification
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1996.02 |
A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai;T.Weigert;T.Weigert |
| 亞洲大學 |
1996-12 |
An Integrated Architecture for Distributed Real-Time Systems Analysis
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1996-10 |
A Hybrid Execution Model for Logic-Based Requirements Specifications
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1996-10 |
An Efficient Analysis Method for Large-Scale Concurrent Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
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 Specification
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1996-02 |
A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai |
顯示項目 321-345 / 426 (共18頁)
<< < 8 9 10 11 12 13 14 15 16 17 > >>
每頁顯示[10|25|50]項目
|
