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

Export

BIB

Alle Autoren

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

Buchtitel

29th International Conference on Methods and Models in Automation and Robotics (MMAR)

Erscheinungsdatum

08 / 2025

Publikationstyp

inproceedings

OFFIS Autoren

Dr. rer. nat.
Frank Oppenheimer

Dr.-Ing.
Jörg Walter

Friederike Bruns, M.Sc.

Sven Mehlhop, M.Sc.