9 citations · 9 across the 1 of their papers we have counts for
1 paper
Sönke Holthusen, Sophie Quinton, Ina Schaefer +2
In this paper we address the issue of change after deployment in safety-critical embedded system applications. Our goal is to substitute lab-based verification with in-field formal…