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

@@ Property / describes a project that uses @@
+JavAdaptor
@@ Property / describes a project that uses: JavAdaptor / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ContextJ
@@ Property / describes a project that uses: ContextJ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PAGODA
@@ Property / describes a project that uses: PAGODA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ITACA
@@ Property / describes a project that uses: ITACA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KLAIM
@@ Property / describes a project that uses: KLAIM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Jolie
@@ Property / describes a project that uses: Jolie / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SCEL
@@ Property / describes a project that uses: SCEL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W36762998
@@ Property / OpenAlex ID: W36762998 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56493245
@@ Property / Wikidata QID: Q56493245 / rank @@
+Normal rank
@@ 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
@@ Property / DBLP publication ID @@
+conf/birthday/BruniCGLV15
@@ Property / DBLP publication ID: conf/birthday/BruniCGLV15 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5256369