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