Tiziana Margaria

27 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

1 2 Next >

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

by Tiziana Margaria and Bernhard Steffen First published in 2008 — 4 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Formal Methods for Industrial Critical Systems: A Survey of Applications

by Stefania Gnesi and Tiziana Margaria First published in 2012 — 4 editions

Locate

My Reading Lists:

Create a new list
Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond)

by Charles Petrie, Holger Lausen, and Tiziana Margaria First published in 2008 — 3 editions

Locate

My Reading Lists:

Create a new list
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

by Axel Legay and Tiziana Margaria First published in 2003 — 3 editions

Locate

My Reading Lists:

Create a new list
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

by Tiziana Margaria and Bernhard Steffen First published in 2014 — 2 editions

Locate

My Reading Lists:

Create a new list
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

by Tiziana Margaria and Bernhard Steffen First published in 2014 — 2 editions

Locate

My Reading Lists:

Create a new list
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part I

by Tiziana Margaria and Bernhard Steffen First published in 2020 — 2 editions

Locate

My Reading Lists:

Create a new list
Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

by Tiziana Margaria and Bernhard Steffen First published in 2016 — 2 editions

Locate

My Reading Lists:

Create a new list
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

by Tiziana Margaria and Bernhard Steffen First published in 2016 — 2 editions

Locate

My Reading Lists:

Create a new list
Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

by Tiziana Margaria and Bernhard Steffen First published in 2021 — 1 edition

Locate

My Reading Lists:

Create a new list
SOFSEM 2017 : Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ...

by Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, and Tiziana Margaria First published in 2017 — 1 edition

Locate

My Reading Lists:

Create a new list
Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings

by Jan Kofroň, Tiziana Margaria, and Cristina Seceleanu First published in 2023 — 1 edition

Locate

My Reading Lists:

Create a new list
Service-Oriented Computing - ICSOC 2008: 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings

by Athman Bouguettaya, Ingolf Krüger, and Tiziana Margaria First published in 2008 — 1 edition

Locate

My Reading Lists:

Create a new list
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

by Tiziana Margaria and Bernhard Steffen First published in 2020 — 1 edition

Locate

My Reading Lists:

Create a new list
Correct Hardware Design and Verification Methods: 11th IFIP WG 10. 5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings

by Tiziana Margaria and Tom Melham First published in 2003 — 1 edition

Locate

My Reading Lists:

Create a new list
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

by Tiziana Margaria and Bernhard Steffen First published in 2020 — 1 edition

Locate

My Reading Lists:

Create a new list
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

by Tiziana Margaria and Bernhard Steffen First published in 2018 — 1 edition

Locate

My Reading Lists:

Create a new list
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part IV

by Tiziana Margaria and Bernhard Steffen First published in 2022 — 1 edition

Locate

My Reading Lists:

Create a new list
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part II

by Tiziana Margaria and Bernhard Steffen First published in 2022 — 1 edition

Locate

My Reading Lists:

Create a new list
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part III

by Tiziana Margaria and Bernhard Steffen First published in 2022 — 1 edition

Locate

My Reading Lists:

Create a new list

1 2 Next >

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL3381707A

Links outside Open Library

No links yet. Add one?

History

Created April 30, 2008
1 revision

Download catalog record: RDF / JSON

April 30, 2008

Created by an anonymous user

initial import

Tiziana Margaria

27 works Add another?

Create a new list

Subjects

Add to List

ID Numbers

Links outside Open Library

History