| |
| 2007 | ||
|---|---|---|
| 1 | EE | Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm: Integration of Formal Analysis into a Model-Based Software Development Process. FMICS 2007: 68-84 |
| 1 | Darren D. Cofer | [1] |
| 2 | Bruce H. Krogh | [1] |
| 3 | Steven P. Miller | [1] |
| 4 | Michael W. Whalen | [1] |