1
Bridging the Gap Between AI and Reality [E-Book] : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings /

Full text 
Favorites
Saved in:
2
Leveraging Applications of Formal Methods, Verification and Validation [E-Book] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings /

Full text 
Favorites
Saved in:
3
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III /

Full text 
Favorites
Saved in:
4
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /

Full text 
Favorites
Saved in:
5
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /

Full text 
Favorites
Saved in:
6
Leveraging Applications of Formal Methods, Verification and Validation. Practice [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV /

Full text 
Favorites
Saved in:
7
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II /

Full text 
Favorites
Saved in:
8
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends [E-Book] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV /

Full text 
Favorites
Saved in:
9
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I /

Full text 
Favorites
Saved in:
10
Model Checking, Synthesis, and Learning [E-Book] : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
11
Transactions on Foundations for Mastering Change I [E-Book] /

Full text 
Favorites
Saved in:

Narrow Search Results