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.

Optimizing simulated-assisted verification of safety properties of cyber-physical systems

Bron
Antwerp, University of Antwerp, Faculty of Applied Engineering, 2024,xxiv, 164 p.
Auteur(s)