Toshio Matsuura;Tohru Nakamura;Teruo Higashino;Kenichi Taniguchi;Sumio Masuda
-;-;-;-;-
Software process description using LOTOS and its enaction
ICSE '94 Proceedings of the 16th international conference on Software engineering
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters
IEEE Transactions on Software Engineering