Ensuring Properties of Interaction Systems

DOI10.1007/978-3-540-71322-7_10zbMATH Open1149.68352OpenAlexW1543132934MaRDI QIDQ3593075FDOQ3593075

Authors: Susanne Graf, Moritz Martens, Joseph Sifakis, Gregor Gössler, Mila Majster-Cederbaum 

Publication date: 24 September 2007

Published in: Program Analysis and Compilation, Theory and Practice (Search for Journal in Brave)

Full work available at URL: https://infoscience.epfl.ch/record/185042/files/PTIESINTSYST.pdf

Recommendations

• Composition for component-based modeling
• Robustness in Interaction Systems
• An Approach to Modelling and Verification of Component Based Systems
• Component-Based Construction of Deadlock-Free Systems
• scientific article; zbMATH DE number 7314999

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (6)

• Robustness in Interaction Systems
• Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems
• Rigorous development of component-based systems using component metadata and patterns
• Everything Is PSPACE-Complete in Interaction Systems
• Title not available (Why is that?)
• Deadlock-freedom in component systems with architectural constraints

This page was built for publication: Ensuring Properties of Interaction Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3593075)