Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Holthusen, Sönke"'
Publikováno v:
EPTCS 208, 2016, pp. 31-45
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 analysis to determine whether an update may be safely applied. This i
Externí odkaz:
http://arxiv.org/abs/1606.00504
Publikováno v:
Leveraging Applications of Formal Methods, Verification & Validation: Foundational Techniques; 2016, p839-855, 17p
Autor:
Koscielny, Jonathan, Holthusen, Sönke, Schaefer, Ina, Schulze, Sandro, Bettini, Lorenzo, Damiani, Ferruccio
Publikováno v:
ACM International Conference Proceeding Series; 9/23/2014, p63-74, 12p
Publikováno v:
ACM International Conference Proceeding Series; 8/26/2013, p44-51, 8p