English  |  正體中文  |  简体中文  |  总笔数 :0  
造访人次 :  51939109    在线人数 :  898
教育部委托研究计画      计画执行:国立台湾大学图书馆
 		 
搜寻范围 进阶搜寻
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
关于TAIR
计画说明

浏览
典藏机构
作者
题名
日期
统计图表
机构即时统计
学术趋势

消息
2019臺灣學術機構典藏
研討會
機構典藏系統RC7版本已
發佈

著作权
出版社及期刊政策查询
TAIR著作权会议记录

相关连结
機構典藏計畫網站
ROAR
OpenDOAR
SHERPA
OAIster
JAIRO
Ira
DSPACE
RWWR
臺大學術典藏NTU Scholars
台湾机构典藏 TAIR >  依作者浏览

"jeffrey j p tsai"的相关文件

回到依作者浏览
依题名排序 依日期排序

显示项目 271-320 / 384 (共8页)
<< < 1 2 3 4 5 6 7 8 > >>
每页显示[10|25|50]项目

机构 日期 题名 作者
亞洲大學 1999 System Monitoring Jeffrey J. P. Tsai;A. Liu
亞洲大學 1998.04 Multimedia Software Engineering 蔡進發;Jeffrey, J.P.Tsai;F.Bastani;F.Bastani;M.Hirakawa;M.Hirakawa;S.B.;S.Barchayara
中原大學 1998-09 Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules Eric Y. T. Juan;Jeffrey J. P. Tsai;Tadao Murata
亞洲大學 1998-08 Improving Software Quality Through a New Testing Strategy Jeffrey J. P. Tsai;X. Zeng, T. Weigert
亞洲大學 1998-04 Multimedia Software Engineering Jeffrey J. P. Tsai;
亞洲大學 1998-04 Multimedia Software Engineering 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1998-01 A Logic-Based Transformation Systems Jeffrey J. P. Tsai;B. Li;T. Weigert
亞洲大學 1998 Compositional Verification of Concurrent Systems Using Petri-Nets-Based Condensation Rules Jeffrey J. P. Tsai;E. Juan;T. Murata
國立臺灣海洋大學 1998 Compositional verification of concurrent systems using Petri-net-based condensation rules Eric Y. T. Juan; Jeffrey J. P. Tsai; Tadao Murata
亞洲大學 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-09 Incremental Verification of Software Architectures Jeffrey J. P. Tsai;A. Sistla, A. Sahay, R. Paul
亞洲大學 1997-08 Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems Jeffrey J. P. Tsai;E. Juan
亞洲大學 1997-08 Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1997-02 Incremental Verification of Architecture Specification Language for Real-Time Systems Jeffrey J. P. Tsai;A. P. Sistla and Avinash Sahay
亞洲大學 1997-02 An Incremental Verification Approach for Software Architecture Specification of Real-Time Systems 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1997-01 Parallel Evalutation Model for Software Architecture Specification Jeffrey J. P. Tsai;B. Li ;E. Juan
亞洲大學 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 New Compositional Method for Condensed State Space Verification Jeffrey J. P. Tsai;E. Juan and T. Murata
亞洲大學 1996-10 A Hybrid Execution Model for Logic-Based Requirements Specifications Jeffrey J. P. Tsai;B. Li and E. Juan
亞洲大學 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;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
亞洲大學 1995.08 Improving Software Quality Through a New Testing Strategy X.Zeng;X.Zeng;蔡進發;Jeffrey, J.P.Tsai;T.Weigert;T.Weigert
亞洲大學 1995.06 Requirements, Specification, and Analysis of Autonomous Distributed Communication Service 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1995-11 A Knowledge-Based Approach for Requirements Analysis 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1995-09 A Knowledge-Based Approach to Specification-Based Software Architecture Jeffrey J. P. Tsai;
亞洲大學 1995-09 A Knowledge-Based Approach to Specification-Based Software Architecture 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1995-08 Improving Software Quality Through a New Testing Strategy 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1995-06 Requirements, Specification, and Analysis of Autonomous Distributed Communication Service 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1995-02 Dependability of Artificial Intelligence Systems Jeffrey J. P. Tsai
亞洲大學 1995-01 Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications Jeffrey J. P. Tsai
亞洲大學 1994.11 Modeling and Parallel Evaluation of Non-Functional Requirements Using FRORL Requirements Language 蔡進發;Jeffrey, J.P.Tsai;B.Li;B.Li;A.Liu;A.Liu

显示项目 271-320 / 384 (共8页)
<< < 1 2 3 4 5 6 7 8 > >>
每页显示[10|25|50]项目

DSpace Software Copyright © 2002-2004  MIT   &  Hewlett-Packard   /   Enhanced by   NTU Library IR team