|
English
|
正體中文
|
简体中文
|
2817721
|
|
???header.visitor??? :
27849638
???header.onlineuser??? :
376
???header.sponsordeclaration???
|
|
|
|
???tair.name??? >
???browser.page.title.author???
|
"pan jiann i"???jsp.browse.items-by-author.description???
Showing items 1-6 of 6 (1 Page(s) Totally)
1
View [10|25|50] records per page
| 臺大學術典藏 |
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 |
Showing items 1-6 of 6 (1 Page(s) Totally)
1
View [10|25|50] records per page
|
