booktheque

Tiziana Margaria

20 books in the database

Books

Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques
Tiziana Margaria · 2016
Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications
Tiziana Margaria · 2016
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria · 2012
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS Colloquium
Tiziana Margaria · 2024
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Tiziana Margaria · 2022
Leveraging Applications of Formal Methods, Verification and Validation. Practice
Tiziana Margaria · 2022
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Tiziana Margaria · 2022
Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends
Tiziana Margaria · 2021
Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles
Tiziana Margaria · 2020
Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles
Tiziana Margaria · 2020
Leveraging Applications of Formal Methods, Verification and Validation : Applications
Tiziana Margaria · 2020
Models, Mindsets, Meta : The What, the How, and the Why Not?
Tiziana Margaria · 2019
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Tiziana Margaria · 2018
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Tiziana Margaria · 2018
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Tiziana Margaria · 2018
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Tiziana Margaria · 2018
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Tiziana Margaria · 2014
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Tiziana Margaria · 2014
Leveraging Applications Of Formal Methods Verification And Validation Third International Symposium Proceedings
Tiziana Margaria · 2008
Correct Hardware Design and Verification Methods
Tiziana Margaria · 2003

Co-authored books and collections

Books that list Tiziana Margaria among their authors but not as the lead author: co-written works, collections and compilations.

Tools and Algorithms for the Construction and Analysis of Systems
Axel Legay · 2017
Semantic Web Services Challenge
Charles Petrie · 2008
Engineering of Computer-Based Systems
Jan Kofroň · 2023
Formal Methods for Industrial Critical Systems
Stefania Gnesi · 2012
Service-Oriented Computing - ICSOC 2008
Athman Bouguettaya · 2008