1
Published 2020
Springer International Publishing
Table of Contents: ... -- FASTEN.Safe: A Model-driven Engineering Tool to Experiment with Checkable Assurance Cases -- Threat Analysis...