presented at event 8th International Conference on Verified Software - Theories, Tool and Experiments (VSTTE) Conference
keywords Computer Science Computer Science, Software Engineering Computer Science, Theory & Methods Model-based design Science & Technology Simulink Software tools Technology Tool qualification