1997 |
5 | EE | 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 | EE | 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 | EE | Jonathan Lee,
Lein F. Lai,
Wei T. Huang:
A Task-Based Approach to Verifying Conceptual Models.
COMPSAC 1996: 132-137 |
2 | EE | Jonathan Lee,
Lein F. Lai,
Wei T. Huang:
Task-Based Specifications Through Conceptual Graphs.
IEEE Expert 11(4): 60-70 (1996) |
1995 |
1 | EE | Jonathan Lee,
Wei T. Huang,
Cheng-Kai Chang,
Jiann-I Pan:
Expressing JSD in Z.
COMPSAC 1995: 62-69 |