| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 3 |      | Bruce M. McMillin, Ravi Akella: Verification and Protection of Confidentiality in an Advanced Smart Grid. HICSS 2012: 2169-2175 |
| 2010 | ||
| 2 | | Ravi Akella, Bruce M. McMillin: Information Flow Analysis of Energy Management in a Smart Grid. SAFECOMP 2010: 263-276 |
| 2009 | ||
| 1 | | Ravi Akella, Bruce M. McMillin: Model-Checking BNDC Properties in Cyber-Physical Systems. COMPSAC (1) 2009: 660-663 |
| 1 | Bruce M. McMillin | [1] [2] [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page