| 2007 | ||
|---|---|---|
| 2 | EE | Graham Hemingway, Hang Su, Kai Chen, T. John Koo: A Semantic Anchoring Infrastructure for the Design of Embedded Systems. COMPSAC (1) 2007: 287-294 |
| 2006 | ||
| 1 | EE | Hang Su, Graham Hemingway, Kai Chen, T. John Koo: Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems. ATVA 2006: 523-537 |
| 1 | Kai Chen | [1] [2] |
| 2 | T. John Koo | [1] [2] |
| 3 | Hang Su | [1] [2] |