 | 1997 |
|---|
| 5 |       | Stephen J. H. Yang,
William C. Chu,
Jonathan Lee,
Wei T. Huang:
A Fuzzy Petri Nets Based Mechanism for Fuzzy Rules Reasoning.
COMPSAC 1997: 438-443 |
| 4 | | Jonathan Lee,
Jiann-I Pan,
Wei T. Huang:
OOSZ: An Integration of Bailin's Object-Oriented Analysis and Formal Specifications.
J. Inf. Sci. Eng. 13(4): 517-542 (1997) |
| 1996 |
|---|
| 3 | | Jonathan Lee,
Lein F. Lai,
Wei T. Huang:
A Task-Based Approach to Verifying Conceptual Models.
COMPSAC 1996: 132-137 |
| 2 | | Jonathan Lee,
Lein F. Lai,
Wei T. Huang:
Task-Based Specifications Through Conceptual Graphs.
IEEE Expert 11(4): 60-70 (1996) |
| 1995 |
|---|
| 1 | | Jonathan Lee,
Wei T. Huang,
Cheng-Kai Chang,
Jiann-I Pan:
Expressing JSD in Z.
COMPSAC 1995: 62-69 |
