| |
| 2007 | ||
|---|---|---|
| 2 | EE | Nannan He, Michael S. Hsiao: Bounded model checking of embedded software in wireless cognitive radio systems. ICCD 2007: 19-24 |
| 2005 | ||
| 1 | EE | Boby George, Shawn A. Bohner, Nannan He: Towards a Model Level Debugger for the Cougaar Model Driven Architecture System. WRAC 2005: 86-97 |
| 1 | Shawn A. Bohner | [1] |
| 2 | Boby George | [1] |
| 3 | Michael S. Hsiao | [2] |