A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220

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. [doi]

Abstract

Abstract is missing.