![]() |
| 2005 | ||
|---|---|---|
| 2 | EE | Peter B. Lakey: Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system: an industry report. A-MOST 2005 |
| 1 | EE | Peter B. Lakey: Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system: an industry report. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |