Evaluation of Graphical Modeling of CVCD Workflows with Rig

von Teumert, Sebastian
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 2: Software engineering (2022)

Towards Continuous Quality Control in the Context of Language-Driven Engineering

von Bainczyk, Alexander
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 2: Software engineering (2022)

DIME Days (ISoLA 2022 Track Introduction)

von Margaria, Tiziana
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 2: Software engineering (2022)