Cover Image
Read Now

1
by Nielson, Flemming, Riis Nielson, Hanne
Published 2019
Springer International Publishing
“...This textbook is an introduction to the use of formal methods ranging from semantics of key...”
Cover Image
Read Now

2
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Mathematics -- Motivating Study of Formal Methods in the Classroom -- Formal Systems, Not Methods -- A...”
Cover Image
Read Now

3
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside...”
Cover Image
Read Now

5
Published 2009
Springer Berlin Heidelberg
“... Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009. The 21 revised full papers...”
Cover Image
Read Now

7
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...: System Development -- Agile Formal Method Engineering -- An Automated Failure Mode and Effect Analysis...”
Cover Image
Read Now

10
by Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo
Published 2022
Springer International Publishing
Table of Contents: “...1 Formal Methods -- Part I Languages: 2 Logics for Software Engineering -- 3 The Process Algebra...”
Cover Image
Read Now

11
Published 2020
Springer International Publishing
Table of Contents: “...Software Engineering -- Software Technologies -- Model-Driven Engineering -- Formal Methods...”
Cover Image
Read Now

12
Published 2021
Springer International Publishing
“..., Voyager, and Magellan awards. Klaus has provided constant and generous service to the formal methods...”
Cover Image
Read Now

13
Published 2023
Springer Nature Singapore
“...This book constitutes the proceedings of the 24th International Conference on Formal Methods...”
Cover Image
Read Now

14
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Lessons from the application of formal methods to the design of a storm surge barrier control...”
Cover Image
Read Now

15
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... and the Formalization of Anonymity -- Object-Orientation -- Developing BON as an Industrial-Strength Formal Method...”
Cover Image
Read Now

16
Published 2022
Springer International Publishing
Table of Contents: “...Model checking quantum Markov chains -- Bridging Formal Methods and Machine Learning with Global...”
Cover Image
Read Now

17
Published 2020
Springer International Publishing
Table of Contents: “...Safety and Security -- Program Verification -- Formal Methods and Machine Learning -- Formal...”
Cover Image
Read Now

18
Published 2018
Springer International Publishing
“... International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented...”
Cover Image
Read Now

19
Published 2007
Springer Berlin Heidelberg
Cover Image
Read Now

20
Published 2007
Springer Berlin Heidelberg
“...These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods...”