Verification of complex systems using incremental operational specifications

Information Sciences - Tập 57 - Trang 427-450 - 1991
William E. Howden1, David Nesbitt1, Cheron Vail1, Bruce Wieand1
1Computer Science and Engineering, University of California at San Diego, La Jolla, CaliforniaUSA

Tài liệu tham khảo