Mastering Specification Heterogeneity with Multifacet Analysis

Abstract

We address the specification and the formal analysis of systems involving multiple facets. This leads to heterogeneous specifications that cover the different facets of these systems. A method, multifacet specification and analysis, is proposed to master the heterogeneity of systems by considering an abstract reference model that is referred to as a… (More)
DOI: 10.1109/ICSTW.2008.26

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics