[IEEE 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Checking Properties on the Control of Heterogeneous Systems
Jacquet, Christophe, Marcadet, DominiqueYear:
2008
Language:
english
DOI:
10.1109/ICSTW.2008.12
File:
PDF, 186 KB
english, 2008