| |
| 2007 | ||
|---|---|---|
| 2 | EE | Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, David A. Cape: Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid. QSIC 2007: 363-369 |
| 2006 | ||
| 1 | EE | David A. Cape, Bruce M. McMillin, James K. Townsend: Model Checking Control Communication of a FACTS Device. ICPP Workshops 2006: 391-396 |
| 1 | Xiaoqing Frank Liu | [2] |
| 2 | Bruce M. McMillin | [1] [2] |
| 3 | Yan Lindsay Sun (Yan Sun) | [2] |
| 4 | James K. Townsend | [1] |