A model-based testing methodology for the systematic validation of highly configurable cyber-physical systems
Aktak:
VALID 2014 - 6th International Conference on Advances in System Testing and Validation Lifecycle
Argitalpen urtea: 2014
Orrialdeak: 66-72
Mota: Biltzar ekarpena