Toshihiko Kato;Tomohiko Ogishi;Akira Idoue;Kenji Suzuki
-;-;-;-
A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220
Computer Communications