![]() | ![]() |
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] |