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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-88387-6_16
+Normal rank
@@ Property / OpenAlex ID @@
+W1589870140
@@ Property / OpenAlex ID: W1589870140 / 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 @@
+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