Christof Fetzer, Christoph Weidenbach, Patrick Wischnewski. Compliance, Functional Safety and Fault Detection by Formal Methods. Tiziana Margaria and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2016), 20
HAL Archives-Ouvertes,
Christof Fetzer, Christoph Weidenbach, Patrick Wischnewski. Compliance, Functional Safety and Fault Detection by Formal Methods.