Cover Image
Read Now

2
Published 2018
Springer International Publishing
“... papers were carefully reviewed and selected from 110 submissions. They present formal methods...”
Cover Image
Read Now

3
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

4
Published 2023
Springer International Publishing
Table of Contents: “... -- Monitoring the Internet Computer -- Word Equations in Synergy with Regular Constraints -- Formal Methods...”
Cover Image
Read Now

5
Published 2021
Springer International Publishing
“...This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021...”
Cover Image
Read Now

6
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

7
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Abstraction and Modelling: A Complementary Partnership -- Teaching Formal Methods...”
Cover Image
Read Now

9
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

11
Published 2016
Springer International Publishing
Table of Contents: “...Invited Contributions -- Can Formal Methods Improve the Efficiency of Code Reviews.-Symbolic...”
Cover Image
Read Now

12
Published 2014
Springer International Publishing
“... Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers...”
Cover Image
Read Now

13
Published 2015
Springer International Publishing
“... engineering; formal approaches to fault tolerance; and applications of formal methods...”
Cover Image
Read Now

14
Published 2014
Springer International Publishing
Table of Contents: “... monitoring -- Formal approaches to fault tolerance -- Applications of formal methods to aerospace systems...”
Cover Image
Read Now

15
Published 2020
Springer International Publishing
“... Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short...”
Cover Image
Read Now

16
Published 2021
Springer International Publishing
Table of Contents: “...The Ethics of our Work -- From Datascape to Formal Methods -- Variational Beauty of Space. Machine...”
Cover Image
Read Now

17
Published 2018
CRC Press
Cover Image
Read Now

18
Published 2017
Springer International Publishing
“...This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods...”
Cover Image
Read Now

19
Published 2018
Springer International Publishing
“...This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods...”
Cover Image
Read Now

20
Published 2016
Springer International Publishing
Table of Contents: “...A Proof Infrastructure for Binary Programs.-Application of Formal Methods -- A Formally Verified...”