Search alternatives:
"formal method" » "formal methods"
Cover Image
Read Now

1
Published 2020
Springer International Publishing
Table of Contents: “... Synthesis and Robustness Analysis of Rule-Based Models -- Formal Methods for DNNs -- PaRoT: A Practical...”
Cover Image
Read Now

2
Published 2014
Springer International Publishing
“... Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014. The 23 full papers...”
Cover Image
Read Now

3
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease...”