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)

Executable Documentation: From Documentation Languages to Purpose-Specific Languages

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

An Introduction to Graphical Modeling of CVCD Workflows with Rig

von Tegeler, Tim
Veröffentlicht in International Symposium on Leveraging Applications of Formal Methods (10. : 2021 : Rhodos, Stadt) Leveraging applications of formal methods, verification and validation (2021)