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

Source
Antwerp, University of Antwerp, Faculty of Applied Engineering, 2024,xxiv, 164 p.
Author(s)

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

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