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)

Application of Genetic Algorithms to the Test Suite Cases Minimization

von Martín-Marín, María
Veröffentlicht in FTNCT (3. : 2020 : Taganrog) Futuristic trends in network and communicaton technologies ; Part 1 (2021)