Claus B. Koch

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 2

Top Topics

Computational Modeling

Multiple Targets

Formal Analysis

Top Venues

SpringSim (Mod4Sim)

Publications

Claus B. Koch, Umut Durak, David Müller
Simulation-based verification for parallelization of model-based applications. SummerSim (2018)
Umut Durak, David Müller, Florian Möcke, Claus B. Koch
Modeling and simulation based development of an enhanced ground proximity warning system for multicore targets. SpringSim (Mod4Sim) (2018)