| |
| 2000 | ||
|---|---|---|
| 1 | EE | Mariusz A. Fecko, M. Ümit Uyar, Paul D. Amer, Adarshpal S. Sethi, Theodore Dzik, R. Menell, Michael McMahon: A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220. Computer Communications 23(12): 1196-1213 (2000) |
| 1 | Paul D. Amer | [1] |
| 2 | Mariusz A. Fecko | [1] |
| 3 | Michael McMahon | [1] |
| 4 | R. Menell | [1] |
| 5 | Adarshpal S. Sethi | [1] |
| 6 | M. Ümit Uyar | [1] |