The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Tiziana Margaria Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022 Rhodes, Greece, October 22–30, 2022 Proceedings, Part I
pdf
Author:
Tiziana Margaria Bernhard Steffen
Language:
English
Year:
2022
0
0
14.02.2024
0
0
Read online
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
pdf
Author:
Tiziana Margaria Bernhard Steffen
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
pdf
Author:
Tiziana Margaria Bernhard Steffen
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
pdf
Author:
Tiziana Margaria Bernhard Steffen
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
epub
Author:
Tiziana Margaria
,
Bernhard Steffen
Language:
English
0
0
07.02.2024
0
0
Read online
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
pdf
Author:
Tiziana Margaria Bernhard Steffen
Language:
English
Year:
2018
0
0
30.01.2024
0
0
Read online
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
pdf
Author:
Tiziana Margaria Bernhard Steffen
Language:
English
Year:
2018
0
0
30.01.2024
0
0
Read online
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
pdf
Author:
Tiziana Margaria Bernhard Steffen
Language:
English
Year:
2018
0
0
30.01.2024
0
0
Read online
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
pdf
Author:
Tiziana Margaria Bernhard Steffen
Language:
English
Year:
2018
0
0
30.01.2024
0
0
Read online
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
pdf
Author:
Tiziana Margaria Bernhard Steffen (eds.)
Language:
English
Year:
2016
0
0
27.01.2024
0
0
Read online
1
2
3
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через