Lian Mo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2002–2008
Best venue rank
Multiconference
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | SAC | An approach for specification construction using property-preserving refinement patterns. | Junhua Ding, Lian Mo, Xudong He |
| 2004 | SEKE | Integrating Security Administration into Software Architectures Design. | Huiqun Yu, Xudong He, Yi Deng, Lian Mo |
| 2002 | COMPSAC | A Formal Method for Analyzing Software Architecture Models in SAM. | Huiqun Yu, Xudong He, Yi Deng, Lian Mo |
| 2002 | ICFEM | Formal Analysis of Real-Time Systems with SAM. | Huiqun Yu, Xudong He, Yi Deng, Lian Mo |