|
Search the dblp DataBase
Lian Mo:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Huiqun Yu, Xudong He, Yi Deng, Lian Mo
A Formal Method for Analyzing Software Architecture Models in SAM. [Citation Graph (0, 0)][DBLP] COMPSAC, 2002, pp:645-652 [Conf]
- Huiqun Yu, Xudong He, Yi Deng, Lian Mo
A Formal Approach to Designing Secure Software Architectures. [Citation Graph (0, 0)][DBLP] HASE, 2004, pp:289-290 [Conf]
- Huiqun Yu, Xudong He, Yi Deng, Lian Mo
Formal Analysis of Real-Time Systems with SAM. [Citation Graph (0, 0)][DBLP] ICFEM, 2002, pp:275-286 [Conf]
- Huiqun Yu, Xudong He, Yi Deng, Lian Mo
Integrating Security Administration into Software Architectures Design. [Citation Graph (0, 0)][DBLP] SEKE, 2004, pp:416-420 [Conf]
An approach for specification construction using property-preserving refinement patterns. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|