[IEEE Canadian Conference on Electrical and Computer Engineering 2001. Conference Proceedings - Toronto, Ont., Canada (13-16 May 2001)] Canadian Conference on Electrical and Computer Engineering 2001. Conference Proceedings (Cat. No.01TH8555) - Component interaction testing using model-checking
Liu, W., Dasiewicz, P.Volume:
1
Year:
2001
Language:
english
DOI:
10.1109/ccece.2001.933644
File:
PDF, 581 KB
english, 2001