2007 | ||
---|---|---|
3 | EE | Shuaiqiang Wang, Ying Li, Guodong Huang: PostB: The Post-condition Extension onto the B-Method. SERA 2007: 195-202 |
2 | EE | Guodong Huang, Li Chen, Jinkui Hou: A Semantic-Features-Calculation Based Model Mapping Approach for Web Information Systems. SERA 2007: 83-90 |
1 | EE | Jinkui Hou, Huahong Yu, Guodong Huang: Simulation-based Model Mapping Approach. SERA 2007: 879-886 |
1 | Li Chen | [2] |
2 | Jinkui Hou | [1] [2] |
3 | Ying Li | [3] |
4 | Shuaiqiang Wang | [3] |
5 | Huahong Yu | [1] |