| |
| 2006 | ||
|---|---|---|
| 1 | EE | Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum: A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems. MoDELS 2006: 707-721 |
| 1 | Betty H. C. Cheng | [1] |
| 2 | Heather Goldsby | [1] |
| 3 | Sascha Konrad | [1] |