Modeling role-based systems with exogenous coordination

DOI10.1007/978-3-319-30734-3_10zbMath1475.68077OpenAlexW2346161866MaRDI QIDQ2026788

Clemens Dubslaff, Philipp Chrszon, Sascha Klüppelholz, Christel Baier, Joachim Klein

Publication date: 20 May 2021

Full work available at URL: https://tud.qucosa.de/api/qucosa%3A70791/attachment/ATT-0/

Mathematics Subject Classification ID

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

Related Items (3)

Family-Based SPL Model Checking Using Parity Games with Variability ⋮ A decision tree lifted domain for analyzing program families with numerical features ⋮ Enhancing probabilistic model checking with ontologies

Uses Software

• Reo

This page was built for publication: Modeling role-based systems with exogenous coordination