Cover Image
Read Now

2
Published 2010
Springer Berlin Heidelberg
Cover Image
Read Now

3
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...”
Cover Image
Read Now

4
Published 2021
Springer International Publishing
Table of Contents: “... Services in DIME -- Asking Why -- Formal Methods for a Digital Industry: Industrial Day at ISoLA 2021...”
Cover Image
Read Now

5
Published 2012
Springer Berlin Heidelberg
“... International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held...”
Cover Image
Read Now

6
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... Systems: A Unifying Perspective.- Formal Methods in Avionic Software Certification: The DO-178C...”
Cover Image
Read Now

7
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... of Formal Methods -- Composition of Web Services Using Wrappers...”
Cover Image
Read Now

8
Published 2018
Springer International Publishing
“... of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification...”
Cover Image
Read Now

9
Published 2018
Springer International Publishing
“... of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification...”
Cover Image
Read Now

10
Published 2020
Springer International Publishing
Table of Contents: “... Demonstrator of Formal Methods for Railways Infrastructure Managers...”
Cover Image
Read Now

11
Published 2022
Springer Nature Switzerland
Table of Contents: “...Digital Twin Engineering -- Digital Thread in Smart Manufacturing -- Formal Methods for DIStributed...”
Cover Image
Read Now

12
Published 2016
Springer International Publishing
Table of Contents: “... with the ARE Framework -- Safe Artificial Intelligence and Formal Methods -- Engineering Adaptivity, Universal Autonomous...”
Cover Image
Read Now

13
Published 2018
Springer International Publishing
Table of Contents: “... for Concurrency -- Formal Methods in Industrial Practice - bridging the gap (Track Summary) -- Model-based Testing...”
Cover Image
Read Now

14
Published 2018
Springer International Publishing
“... of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification...”
Cover Image
Read Now

15
Published 2020
Springer International Publishing
“... International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take...”
Cover Image
Read Now

16
Published 2020
Springer International Publishing
“... International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take...”
Cover Image
Read Now

17
Published 2021
Springer International Publishing
“... International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take...”
Cover Image
Read Now

18
Published 2022
Springer Nature Switzerland
“... at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took...”
Cover Image
Read Now

19
Published 2022
Springer International Publishing
“... at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took...”
Cover Image
Read Now

20
Published 2022
Springer Nature Switzerland
“... at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took...”