Development of global specification for dynamically adaptive software (Q488401): Difference between revisions

@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Mode-automata: A new domain-specific construct for the development of safe critical systems.
+Normal rank
@@ Property / cites work @@
+Comparing LTL Semantics for Runtime Verification
@@ Property / cites work: Comparing LTL Semantics for Runtime Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417910
@@ Property / cites work: Q4417910 / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Assurance of dynamic adaptation in distributed systems
+Normal rank
@@ Property / cites work @@
+A brief account of runtime verification
@@ Property / cites work: A brief account of runtime verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4240122
@@ Property / cites work: Q4240122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2728860
@@ Property / cites work: Q2728860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438797
@@ Property / cites work: Q4438797 / rank @@
+Normal rank