Cover Image
Read Now

1
Published 2016
Springer International Publishing
Table of Contents: “... -- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements -- The PERF Approach...”