| |
| 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 | Shengbo Chen | [3] |
| 2 | Huaikou Miao | [1] [2] [3] |