“Lightweight integration of MBSE and model-checking” Oct. 13, 2021@Industry Day, MODELS2021
The “Lightweight integration of MBSE and model-checking” presentation slide from Models 2021 is available for download.
MODELS2021
The “Lightweight integration of MBSE and model-checking” presentation slide from Models 2021 is available for download.
Astah in 5min 