Verification of complex systems using incremental operational specifications
William E. Howden, David Nesbitt, Cheron Vail, Bruce WieandVolume:
57-58
Year:
1991
Language:
english
Pages:
24
DOI:
10.1016/0020-0255(91)90092-9
File:
PDF, 1.53 MB
english, 1991