Overcoming controllability problems in distributed testing from an input output transition system (Q1938361): Difference between revisions

@@ Property / cites work @@
+The synchronization problem in protocol testing and its complexity
+Normal rank
@@ Property / cites work @@
+A Greedy Heuristic for the Set-Covering Problem
@@ Property / cites work: A Greedy Heuristic for the Set-Covering Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Controllable Test Cases for the Distributed Test Architecture
+Normal rank
@@ Property / cites work @@
+Checking sequences for distributed test architectures
+Normal rank
@@ Property / cites work @@
+Approximating the Unweighted ${k}$-Set Cover Problem: Greedy Meets Local Search
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896913
@@ Property / cites work: Q4896913 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing checking sequences for distributed testing
+Normal rank