[IEEE 2010 Second International Conference on Advances in System Testing and Validation Lifecycle (VALID) - Nice, TBD, France (2010.08.22-2010.08.27)] 2010 Second International Conference on Advances in System Testing and Validation Lifecycle - Dihomotopic Deadlock Detection via Progress Shell Decomposition
Cape, David A., Jackson, Stephen C., McMillin, Bruce M.Year:
2010
Language:
english
DOI:
10.1109/valid.2010.17
File:
PDF, 451 KB
english, 2010