|
Search the dblp DataBase
Jianwen Xiang:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Weiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi
Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol. [Citation Graph (0, 0)][DBLP] CIT, 2004, pp:1100-1107 [Conf]
- Jianwen Xiang, Kokichi Futatsugi, Yanxiang He
Fault Tree and Formal Methods in System Safety Analysis. [Citation Graph (0, 0)][DBLP] CIT, 2004, pp:1108-1115 [Conf]
- Jianwen Xiang, Kokichi Futatsugi, Yanxiang He
Formal fault tree construction and system safety analysis. [Citation Graph (0, 0)][DBLP] IASTED Conf. on Software Engineering, 2004, pp:378-384 [Conf]
- Jianwen Xiang, Kazuhiro Ogata
Formal Fault Tree Analysis of State Transition Systems. [Citation Graph (0, 0)][DBLP] QSIC, 2005, pp:124-134 [Conf]
- Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi, Kazuhiro Ogata
Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management. [Citation Graph (0, 0)][DBLP] WEBIST (2), 2006, pp:5-12 [Conf]
- Jianwen Xiang, Kokichi Futatsugi, Yanxiang He
Formal construction model and specification of fault tree. [Citation Graph (0, 0)][DBLP] IASTED Conf. on Software Engineering and Applications, 2004, pp:374-381 [Conf]
Formal digital license language with OTS/CafeOBJ method. [Citation Graph (, )][DBLP]
A Goal-Directed Human Activity Computing Model. [Citation Graph (, )][DBLP]
Search in 0.067secs, Finished in 0.068secs
|