Validity in (Co-) Simulation

Joachim Denil. Validity in (Co-) Simulation. In Paolo Masci 0001, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri, editors, Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers. Volume 13765 of Lecture Notes in Computer Science, pages 193-199, Springer, 2022. [doi]

Abstract

Abstract is missing.