|
Search the dblp DataBase
Jiann-I Pan:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jonathan Lee, Wei T. Huang, Cheng-Kai Chang, Jiann-I Pan
Expressing JSD in Z. [Citation Graph (0, 0)][DBLP] COMPSAC, 1995, pp:62-69 [Conf]
- Jonathan Lee, Jong-Yih Kuo, Yong-Yi Fanjiang, Stephen J. H. Yang, Jiann-I Pan
Towards the Verification of Scenarios with Time Petri-Nets. [Citation Graph (0, 0)][DBLP] COMPSAC, 2000, pp:503-508 [Conf]
- Jiann-I Pan, Cheng-Jie Yung, Chung Chao Liang
A neural network-based sensor for elder falling detection. [Citation Graph (0, 0)][DBLP] ICINCO-ICSO, 2006, pp:203-206 [Conf]
- Jonathan Lee, Jiann-I Pan, Jong-Yih Kuo
Verifying scenarios with time Petri-nets. [Citation Graph (0, 0)][DBLP] Information & Software Technology, 2001, v:43, n:13, pp:769-781 [Journal]
- Jonathan Lee, Jiann-I Pan, Wei T. Huang
OOSZ: An Integration of Bailin's Object-Oriented Analysis and Formal Specifications. [Citation Graph (0, 0)][DBLP] J. Inf. Sci. Eng., 1997, v:13, n:4, pp:517-542 [Journal]
Search in 0.001secs, Finished in 0.001secs
|