Reusing model validation methods for the continuous validation of digital twins of cyber-physical systems
Bron
Software and systems modeling - ISSN 1619-1366- (2024) p.
From modeling and simulation to digital twin : evolution or revolution?
Bron
Simulation - ISSN 0037-5497-100:7 (2024) p. 751-769
Optimizing simulated-assisted verification of safety properties of cyber-physical systems
Bron
Antwerp, University of Antwerp, Faculty of Applied Engineering, 2024,xxiv, 164 p.
Validity frame-enabled model-based engineering processes
Bron
Simulation - ISSN 0037-5497-100:2 (2024) p. 185-226
Real-time adaptive abstraction and approximation using validity frames : an experience report
Bron
- () p.