Tiziana Margaria

· 26 obras en el catálogo

Obras

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

Semantic Web Services Challenge

Tools and Algorithms for the Construction and Analysis of Systems

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

Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

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

FFormal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

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

SOFSEM 2017 : Theory and Practice of Computer Science

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation : Applications

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles

SService-Oriented Computing - ICSOC 2008

Service-Oriented Computing - ICSOC 2008

CCorrect Hardware Design and Verification Methods

Correct Hardware Design and Verification Methods

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation. Verification

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation. Practice

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning