 | 2006 |
|---|
| 5 |       | Jiann-I Pan,
Cheng-Jie Yung,
Chung Chao Liang:
A neural network-based sensor for elder falling detection.
ICINCO-ICSO 2006: 203-206 |
| 2001 |
|---|
| 4 | | Jonathan Lee,
Jiann-I Pan,
Jong-Yih Kuo:
Verifying scenarios with time Petri-nets.
Information & Software Technology 43(13): 769-781 (2001) |
| 2000 |
|---|
| 3 |  | Jonathan Lee,
Jong-Yih Kuo,
Yong-Yi Fanjiang,
Stephen J. H. Yang,
Jiann-I Pan:
Towards the Verification of Scenarios with Time Petri-Nets.
COMPSAC 2000: 503-508 |
| 1997 |
|---|
| 2 | | 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) |
| 1995 |
|---|
| 1 | | Jonathan Lee,
Wei T. Huang,
Cheng-Kai Chang,
Jiann-I Pan:
Expressing JSD in Z.
COMPSAC 1995: 62-69 |
