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

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Formal Methods for Performance Evaluation -- Markovian Models for Performance and Dependability...”
Cover Image
Read Now

2
by Brinksma, Ed
Published 2001
Springer-Verlag Berlin Heidelberg
Cover Image
Read Now

3
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Verification -- Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive...”
Cover Image
Read Now

4
Published 2024
Springer Nature Singapore
“... and ideas on bridging the gap between formal methods and software engineering....”