Model Translation from Papyrus-RT into the NuXMv Model Checker

von Sahu, Sneha
Veröffentlicht in ASYDE (2. : 2020 : Online) Software engineering and formal methods (2021)