Author:Christof J. Budnik

Publications
Testbed for Model-based Verification of Cyber-physical Production Systems Christof J. Budnik, Sebastian Eckl and Marco Gario In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems