Assurance of dynamic adaptation in distributed systems (Q436856): Difference between revisions

@@ Property / author @@
+Sandeep S. Kulkarni
@@ Property / author: Sandeep S. Kulkarni / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+M15
@@ Property / Mathematics Subject Classification ID: 68M15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6059808
@@ Property / zbMATH DE Number: 6059808 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dynamic adaptation
@@ Property / zbMATH Keywords: dynamic adaptation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+assurance
@@ Property / zbMATH Keywords: assurance / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+correctness
@@ Property / zbMATH Keywords: correctness / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+specification
@@ Property / zbMATH Keywords: specification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+verification
@@ Property / zbMATH Keywords: verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fault-tolerance
@@ Property / zbMATH Keywords: fault-tolerance / rank @@
+Normal rank

Revision as of 00:10, 30 June 2023