1
Bridging the Gap Between AI and Reality [E-Book] : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
2
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 /
Other Personal Name(s): “...Steffen, Bernhard...”

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 /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
4
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 /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
5
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 /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
6
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 /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
7
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 /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
8
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 /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
9
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 /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
10
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications [E-Book] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /
Other Personal Name(s): “...Steffen, Bernhard....”

Full text 
Favorites
Saved in:
11
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [E-Book] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I /
Other Personal Name(s): “...Steffen, Bernhard....”

Full text 
Favorites
Saved in:
12
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [E-Book]: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /
Other Personal Name(s): “...Steffen, Bernhard....”

Full text 
Favorites
Saved in:
13
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [E-Book]: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
Other Personal Name(s): “...Steffen, Bernhard....”

Full text 
Favorites
Saved in:
14
Leveraging Applications of Formal Methods, Verification, and Validation [E-Book] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /
Other Personal Name(s): “...Steffen, Bernhard....”

Full text 
Favorites
Saved in:
15
Leveraging Applications of Formal Methods, Verification, and Validation [E-Book] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /
Other Personal Name(s): “...Steffen, Bernhard....”

Full text 
Favorites
Saved in:
16
Leveraging Applications of Formal Methods, Verification and Validation [E-Book] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard....”

Full text 
Favorites
Saved in:
17
Advances in Information Retrieval [E-Book] : 31th European Conference on IR Research, ECIR 2009, Toulouse, France, April 6-9, 2009. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
18
Active and Programmable Networks [E-Book] : IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
19
Passive and Active Network Measurement [E-Book] : 10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
20
Hardware and Software: Verification and Testing [E-Book] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:

Narrow Search Results