Validating the Design of CPS: Interfacing Simulations of Multi-Physics Components and Software with Contract-Based Monitoring.

Friederike Bruns, Francesco Tosoni, Sven Mehlhop, Andreas Rauh, Sara Vinco, Jrg Walter, Frank Oppenheimer, Franco Fummi

Browse the full MMAR paper archive.