Model-based testing for execution algorithms in the simulation of cyber-physical systems

The understanding of simulation semantics of a hybrid system is a challenge for computational engineers as it requires expertise in computer science, engineering, numerical methods, and mathematics at once. The testing methods for the execution of a simulation are being researched but not yet applie...

Ausführliche Beschreibung