Modelling Uncertainty in Architectures of Parametric Component-Based Systems (Q6072401): Difference between revisions

@@ Property / cites work @@
+Q4091421
@@ Property / cites work: Q4091421 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized model checking of rendezvous systems
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+The Algebra of Connectors—Structuring Interaction in BIP
+Normal rank
@@ Property / cites work @@
+Decidability of Parameterized Verification
@@ Property / cites work: Decidability of Parameterized Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Checking deadlock-freedom of parametric component-based systems
+Normal rank
@@ Property / cites work @@
+Structural Invariants for the Verification of Systems with Parameterized Architectures
+Normal rank
@@ Property / cites work @@
+On aperiodic and star-free formal power series in partially commuting variables
+Normal rank
@@ Property / cites work @@
+Q3536079
@@ Property / cites work: Q3536079 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata and multi-valued logics over arbitrary bounded lattices
+Normal rank
@@ Property / cites work @@
+Software reliability models incorporating testing effort
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Binary Session Types for Psi-Calculi
@@ Property / cites work: Binary Session Types for Psi-Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Automata theory and its applications
@@ Property / cites work: Automata theory and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Systems in BIP: Design and Model Checking
+Normal rank
@@ Property / cites work @@
+Specifying Properties of Dynamic Architectures Using Configuration Traces
+Normal rank
@@ Property / cites work @@
+Q5216331
@@ Property / cites work: Q5216331 / rank @@
+Normal rank
@@ Property / cites work @@
+Configuration logics: modeling architecture styles
+Normal rank
@@ Property / cites work @@
+Q4791753
@@ Property / cites work: Q4791753 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted propositional configuration logics: a specification language for architectures with quantitative features
+Normal rank
@@ Property / cites work @@
+Q5028448
@@ Property / cites work: Q5028448 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy Languages
@@ Property / cites work: Fuzzy Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3644388
@@ Property / cites work: Q3644388 / rank @@
+Normal rank
@@ Property / cites work @@
+Privacy-preserving attribute-keyword based data publish-subscribe service on cloud platforms
+Normal rank
@@ Property / cites work @@
+Fuzzy sets
@@ Property / cites work: Fuzzy sets / rank @@
+Normal rank