Formal modeling of evolving self-adaptive systems (Q1951611): Difference between revisions

@@ Property / cites work @@
+Q2989000
@@ Property / cites work: Q2989000 / rank @@
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Q3404131
@@ Property / cites work: Q3404131 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727367
@@ Property / cites work: Q3727367 / rank @@
+Normal rank
@@ Property / cites work @@
+Preferential choice and coordination conditions
@@ Property / cites work: Preferential choice and coordination conditions / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Assurance of dynamic adaptation in distributed systems
+Normal rank
@@ Property / cites work @@
+Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
+Normal rank
@@ Property / cites work @@
+A Framework for Policy Driven Auto-adaptive Systems Using Dynamic Framed Aspects
+Normal rank
@@ Property / cites work @@
+Formal modeling of evolving self-adaptive systems
@@ Property / cites work: Formal modeling of evolving self-adaptive systems / rank @@
+Normal rank
@@ Property / cites work @@
+Connector Rewriting with High-Level Replacement Systems
+Normal rank
@@ Property / cites work @@
+Implied Scenario Detection in the Presence of Behaviour Constraints
+Normal rank
@@ Property / cites work @@
+Q2917404
@@ Property / cites work: Q2917404 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681459
@@ Property / cites work: Q4681459 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2728860
@@ Property / cites work: Q2728860 / rank @@
+Normal rank