Formalization of Requirements and Context Parameters for Model-Based Testing of Patient-Specific Medical Systems: Demonstration Using a Suture Anchor Use Case
Authors 5
-
Franziska Wieja Aachen
Affiliation as printed
RWTH Aachen
-
Georg Jacobs Aachen
Affiliation as printed
RWTH Aachen
-
Philipp Waigand Aachen
Affiliation as printed
RWTH Aachen
-
Kathrin Boelsen Aachen
Affiliation as printed
RWTH Aachen
-
Thilo Zerwas Aachen
Affiliation as printed
RWTH Aachen
Cited by 0 stored of 0
No patents citing this paper on Lens.org (checked 2026-10-06).