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

Published in: Comput. Commun. (2000)

Keyphrases