| |
| 2008 | ||
|---|---|---|
| 4 | EE | Xiaoxia Cao, Huaikou Miao, Qingguo Xu: Modeling and Refining the Service-Oriented Requirement. TASE 2008: 159-165 |
| 2007 | ||
| 3 | EE | Shengbo Chen, Huaikou Miao, Qingguo Xu: Mailbox-Based Communications Scheme for Mobile Agent Overloading-balance and Message-priority. GCC 2007: 566-573 |
| 2006 | ||
| 2 | Qingguo Xu, Huaikou Miao: Formal Verification Framework for Safety of Real-Time System based on Timed Automata Model in PVS. IASTED Conf. on Software Engineering 2006: 107-112 | |
| 1 | Qingguo Xu, Huaikou Miao: Modeling Timed Automata Theory in PVS. Software Engineering Research and Practice 2006: 205-211 | |
| 1 | Xiaoxia Cao | [4] |
| 2 | Shengbo Chen | [3] |
| 3 | Huaikou Miao | [1] [2] [3] [4] |