Sungwon Kang;Youngsoo Seo;Deukyoon Kang;Mijeong Hong;Junhwan Yang;Ilkook Koh;Joehwi Shin;Sangjo Yoo;Myungchul Kim
-;-;-;-;-;-;-;-;-
A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220
Computer Communications