Tiziana Margaria
26 works on record
Works

Leveraging Applications Of Formal Methods Verification And Validation Third International Symposium Proceedings

Semantic Web Services Challenge

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications

Tools and Algorithms for the Construction and Analysis of Systems

Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Models, Mindsets, Meta : The What, the How, and the Why Not?

SOFSEM 2017 : Theory and Practice of Computer Science
Formal Methods for Industrial Critical Systems
Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles
Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles
Leveraging Applications of Formal Methods, Verification and Validation : Applications
Service-Oriented Computing - ICSOC 2008
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Correct Hardware Design and Verification Methods
Leveraging Applications of Formal Methods, Verification and Validation. Practice
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Engineering of Computer-Based Systems
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS Colloquium