A model-based testing methodology for the systematic validation of highly configurable cyber-physical systems
Actes de conférence:
VALID 2014 - 6th International Conference on Advances in System Testing and Validation Lifecycle
Année de publication: 2014
Pages: 66-72
Type: Communication dans un congrès