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)

A digital twin description framework and its mapping to asset administration shell

Bron
Model-Driven Engineering and Software Development / Luís Ferreira Pires [edit.], et al. [edit.]- () p. 1-24
Auteur(s)