|
English
|
正體中文
|
简体中文
|
0
|
|
???header.visitor??? :
50895134
???header.onlineuser??? :
718
???header.sponsordeclaration???
|
|
|
|
???tair.name??? >
???browser.page.title.author???
|
"jonathan lee"???jsp.browse.items-by-author.description???
Showing items 91-100 of 105 (11 Page(s) Totally)
<< < 2 3 4 5 6 7 8 9 10 11 > >>
View [10|25|50] records per page
| 臺大學術典藏 |
2003 |
An XML-based Approach to Processing Imprecise Requirements.
|
Lee, Jonathan; Fanjiang, Yong-Yi; Chen, Tzung-Jie; Lin, Ying-Yan; JONATHAN LEE |
| 臺大學術典藏 |
2003 |
Modeling uncertainty reasoning with possibilistic Petri nets.
|
Lee, Jonathan; Liu, Kevin F. R.; Chiang, Weiling; JONATHAN LEE |
| 臺大學術典藏 |
2002 |
Modeling software architectures with goals in virtual university environment.
|
Hsu, Kuo-Hsun; Lee, Jonathan; JONATHAN LEE |
| 臺大學術典藏 |
2001 |
A note on current approaches to extending fuzzy logic to object-oriented modeling.
|
JONATHAN LEE; Lee, Jonathan; Kuo, Jong-Yih; Xue, Nien-Lin |
| 臺大學術典藏 |
2001 |
Editorial: Selected Papers from IFSA'99.
|
Lee, Jonathan; Wang, Hsiao-Fan; JONATHAN LEE |
| 臺大學術典藏 |
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 |
| 臺大學術典藏 |
1999 |
Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic.
|
Yang, Stephen J. H.; Chu, William C.; Lee, Jonathan; JONATHAN LEE |
| 臺大學術典藏 |
1998 |
Fuzzy Petri Nets for Modeling Rule-Based Reasoning.
|
JONATHAN LEE; Chiang, Weiling; Liu, Kevin F. R.; Lee, Jonathan |
| 臺大學術典藏 |
1998 |
New Approach to Requirements Trade-Off Analysis for Complex Systems.
|
JONATHAN LEE; Kuo, John-Yih; Lee, Jonathan |
| 臺大學術典藏 |
1998 |
Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic.
|
Yang, Stephen J. H.; Lin, Sam; Lee, Jonathan; Chu, William C.; JONATHAN LEE |
Showing items 91-100 of 105 (11 Page(s) Totally)
<< < 2 3 4 5 6 7 8 9 10 11 > >>
View [10|25|50] records per page
|
