|
|
???tair.name??? >
???browser.page.title.author???
|
"jonathan lee"???jsp.browse.items-by-author.description???
Showing items 96-105 of 105 (3 Page(s) Totally)
<< < 1 2 3 > >>
View [10|25|50] records per page
| 臺大學術典藏 |
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 |
| 臺大學術典藏 |
1998 |
FPNES: fuzzy Petri net based expert system for bridges damage assessment.
|
Yang, Stephen J. H.; Chiang, Weiling; Liu, Kevin F. R.; Lee, Jonathan; JONATHAN LEE |
| 臺大學術典藏 |
1997 |
Modeling User Requirements with a Front-End Analysis.
|
JONATHAN LEE; Kuo, Jong-Yih; Liu, Alan; Lee, Jonathan |
| 臺大學術典藏 |
1996 |
Task-Based Specifications Through Conceptual Graphs.
|
Lee, Jonathan;Lai, Lein F.;Huang, Wei T.; Lee, Jonathan; Lai, Lein F.; Huang, Wei T.; JONATHAN LEE |
| 臺大學術典藏 |
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 96-105 of 105 (3 Page(s) Totally)
<< < 1 2 3 > >>
View [10|25|50] records per page
|
