Teruo Higashino;Kiyoshi Ninomiya;Tomohisa Kimoto;Kenichi Taniguchi;Masaaki Mori
-;-;-;-;-
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters
IEEE Transactions on Software Engineering
Bisimulation analysis of SDL-expressed protocols: a case study
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research