@inproceedings{Fri08,
Author = {Friederike Bruns, Francesco Tosoni, Sven Mehlhop, Andreas Rauh, Sara Vinco, Jörg Walter, Frank Oppenheimer, Franco Fummi},
Title = {Validating the Design of CPS: Interfacing Simulations of Multi-Physics Components and Software with Contract-Based Monitoring},

Year = {2025},
Month = {08},
Booktitle = {29th International Conference on Methods and Models in Automation and Robotics (MMAR)},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }