Featured Team Automata (Q6488470)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7676998

Language	Label	Description	Also known as
English	Featured Team Automata	scientific article; zbMATH DE number 7676998

Statements

scholarly article

0 references

Featured Team Automata (English)

0 references

Maurice H. ter Beek

0 references

Guillermina Cledou

0 references

0 references

0 references

publication date

21 April 2023

0 references

MaRDI profile type

MaRDI publication profile

0 references

On Weak Modal Compatibility, Refinement, and the MIO Workbench

0 references

Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints

0 references

Compositionality of safe communication in systems of team automata

0 references

Modularity for teams of I/O automata

0 references

Family-Based SPL Model Checking Using Parity Games with Variability

0 references

Family-Based Model Checking with mCRL2

0 references

0 references

Compatibility in a multi-component environment

0 references

Shepherding hordes of Markov chains

0 references

0 references

Modal I/O Automata for Interface and Product Line Theories

0 references

Modular Modelling of Software Product Lines with Feature Nets

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-030-90870-6_26

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6488470

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6488470&oldid=38012565"