A White Box Perspective on Behavioural Adaptation (Q5256369): Difference between revisions

@@ Property / cites work @@
+Assurance of dynamic adaptation in distributed systems
+Normal rank
@@ Property / cites work @@
+Adaptable processes
@@ Property / cites work: Adaptable processes / rank @@
+Normal rank
@@ Property / cites work @@
+Adaptable Transition Systems
@@ Property / cites work: Adaptable Transition Systems / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Statistical Model Checking for Composite Actor Systems
+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 @@
+Recent trends in algebraic development techniques. 21st international workshop, WADT 2012, Salamanca, Spain, June 7--10, 2012. Revised selected papers
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q3046721
@@ Property / cites work: Q3046721 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2917404
@@ Property / cites work: Q2917404 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4154035
@@ Property / cites work: Q4154035 / rank @@
+Normal rank