Controllable Test Cases for the Distributed Test Architecture (Q3540074): Difference between revisions

@@ Property / cites work @@
+Coordination algorithm for distributed testing
@@ Property / cites work: Coordination algorithm for distributed testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532083
@@ Property / cites work: Q4532083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896913
@@ Property / cites work: Q4896913 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems - FORTE 2003
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Specification, testing and implementation relations for symbolic-probabilistic systems
+Normal rank
@@ Property / cites work @@
+Formal testing from timed finite state machines
@@ Property / cites work: Formal testing from timed finite state machines / rank @@
+Normal rank
@@ Property / cites work @@
+Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports
+Normal rank