Checking sequences for distributed test architectures (Q2377256): Difference between revisions

@@ Property / author @@
+Robert M. Hierons
@@ Property / author: Robert M. Hierons / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AsmL
@@ Property / describes a project that uses: AsmL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2034873526
@@ Property / OpenAlex ID: W2034873526 / rank @@
+Normal rank
@@ Property / cites work @@
+The synchronization problem in protocol testing and its complexity
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems – FORTE 2004
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems - FORTE 2005
+Normal rank
@@ Property / cites work @@
+Overcoming observability problems in distributed test architectures
+Normal rank
@@ Property / cites work @@
+Q5541342
@@ Property / cites work: Q5541342 / rank @@
+Normal rank
@@ Property / cites work @@
+A Method for the Design of Fault Detection Experiments
+Normal rank
@@ Property / cites work @@
+Using a minimal number of resets when testing from a finite state machine
+Normal rank
@@ Property / cites work @@
+Reduced length checking sequences
@@ Property / cites work: Reduced length checking sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Coordination algorithm for distributed testing
@@ Property / cites work: Coordination algorithm for distributed testing / rank @@
+Normal rank
@@ Property / cites work @@
+On minimizing the lengths of checking sequences
@@ Property / cites work: On minimizing the lengths of checking sequences / rank @@
+Normal rank