Featured Team Automata (Q6488470): Difference between revisions

@@ Property / cites work @@
+On Weak Modal Compatibility, Refinement, and the MIO Workbench
+Normal rank
@@ Property / cites work @@
+Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
+Normal rank
@@ Property / cites work @@
+Compositionality of safe communication in systems of team automata
+Normal rank
@@ Property / cites work @@
+Modularity for teams of I/O automata
@@ Property / cites work: Modularity for teams of I/O automata / rank @@
+Normal rank
@@ Property / cites work @@
+Family-Based SPL Model Checking Using Parity Games with Variability
+Normal rank
@@ Property / cites work @@
+Family-Based Model Checking with mCRL2
@@ Property / cites work: Family-Based Model Checking with mCRL2 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4427917
@@ Property / cites work: Q4427917 / rank @@
+Normal rank
@@ Property / cites work @@
+Compatibility in a multi-component environment
@@ Property / cites work: Compatibility in a multi-component environment / rank @@
+Normal rank
@@ Property / cites work @@
+Shepherding hordes of Markov chains
@@ Property / cites work: Shepherding hordes of Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4600773
@@ Property / cites work: Q4600773 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal I/O Automata for Interface and Product Line Theories
+Normal rank
@@ Property / cites work @@
+Modular Modelling of Software Product Lines with Feature Nets
+Normal rank