|
English
|
正體中文
|
简体中文
|
总笔数 :2817960
|
|
造访人次 :
27955280
在线人数 :
380
教育部委托研究计画 计画执行:国立台湾大学图书馆
|
|
|
"pan jiann i"的相关文件
显示项目 1-6 / 6 (共1页)
1
每页显示[10|25|50]项目
| 臺大學術典藏 |
2020-05-04T07:59:10Z |
A rule-based approach to producing Z specifications from Jackson system development.
|
JONATHAN LEE; Pan, Jiann-I; Lee, Jonathan |
| 臺大學術典藏 |
2020-05-04T07:59:08Z |
Verifying scenarios with time Petri-nets.
|
Lee, Jonathan; Pan, Jiann-I; Kuo, Jong-Yih; JONATHAN LEE |
| 國立彰化師範大學 |
2006-08 |
An Intelligent Homecare Emergency Service System for Elder Falling
|
Pan, Jiann-I; Yung, Cheng-Jie; Liang, Chung-Chao; Lai, Lien-Fu |
| 臺大學術典藏 |
2000 |
Towards the Verification of Scenarios with Time Petri-Nets.
|
JONATHAN LEE; Pan, Jiann-I; Yang, Stephen J. H.; Lee, Jonathan; Kuo, Jong-Yih; Fanjiang, Yong-Yi |
| 臺大學術典藏 |
1995 |
Expressing JSD in Z.
|
JONATHAN LEE; Lee, Jonathan; Huang, Wei T.; Chang, Cheng-Kai; Pan, Jiann-I; Lee, Jonathan;Huang, Wei T.;Chang, Cheng-Kai;Pan, Jiann-I |
| 臺大學術典藏 |
1995 |
Integrating object-oriented requirements specifications with formal notations.
|
Lee, Jonathan;Pan, Jiann-I;Huang, Wei T.; Lee, Jonathan; Pan, Jiann-I; Huang, Wei T.; JONATHAN LEE |
显示项目 1-6 / 6 (共1页)
1
每页显示[10|25|50]项目
|
