Conflict-Tolerant Features

DOI10.1007/978-3-540-70545-1_22zbMath1155.68432OpenAlexW2114216764MaRDI QIDQ3512496

Madhu Gopinathan, Deepak D'Souza

Publication date: 15 July 2008

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70545-1_22

Mathematics Subject Classification ID

Application models in control theory (93C95) Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Conflict-Tolerant Features ⋮ Synthesizing robust systems ⋮ A general framework for architecture composability ⋮ A Theory Agenda for Component-Based Design

Cites Work

• Conflict-Tolerant Features
• Formal Methods for Components and Objects
• Feature integration using a feature construct

This page was built for publication: Conflict-Tolerant Features