Generation of efficient test sequences from lotos specifications
Naonobu Okazaki, Shoichi Noguchis, Kaoru Takahashi, Norio ShiratoriVolume:
76
Year:
1993
Language:
english
Pages:
18
DOI:
10.1002/ecja.4410760201
File:
PDF, 1.23 MB
english, 1993