Realizability Criteria for Compositional MSC

DOI10.1007/11784180_20MaRDI QIDQ3623938zbMATH OpenOpenAlexFDO

Authors Arjan J. Mooij, Judi Romijn, Wieger Wesselink

Publication date 28 April 2009

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11784180_20

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1754635
• Realizability and verification of MSC graphs
• Strong Safe Realizability of Message Sequence Chart Specifications
• Tools and Algorithms for the Construction and Analysis of Systems
• Infinite-state high-level MSCs: model-checking and realizability

Cited in

(2)

• Realizability of Dynamic MSC Languages
• Realizability and verification of MSC graphs

This page was built for publication: Realizability Criteria for Compositional MSC

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