Direct Model-checking of SysML Models

von Calvino, Alessandro Tempia
Veröffentlicht in MODELSWARD (Veranstaltung : 9. : 2021 : Online) MODELSWARD 2021 (2021)

Dependency Graphs to Boost the Verification of SysML Models

von Apvrille, Ludovic
Veröffentlicht in MODELSWARD (Veranstaltung : 9. : 2021 : Online) Model-Driven engineering and software development (2023)