Towards Benchmark Optimization by Automated Equivalence Detection

Publication
Proceedings of the 1st Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench'18)
Event
1st Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench '18), Apr 10, 2018, Porto, Portugal
Dr. Mirko Stoffers
Dr. Mirko Stoffers
Postdoctoral Researcher
Klaus Wehrle
Klaus Wehrle
Head of Group