Implementation relations and test generation for systems with distributed interfaces (Q1938358): 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/s00446-011-0149-1
+Normal rank
@@ Property / OpenAlex ID @@
+W1987604851
@@ Property / OpenAlex ID: W1987604851 / rank @@
+Normal rank
@@ Property / cites work @@
+The synchronization problem in protocol testing and its complexity
+Normal rank
@@ Property / cites work @@
+Q4532083
@@ Property / cites work: Q4532083 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical finite state machines for distributed systems
+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 @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+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 @@
+Q4532084
@@ Property / cites work: Q4532084 / 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 @@
+A General Testability Theory
@@ Property / cites work: A General Testability Theory / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mathcal {HOTL}\): Hypotheses and observations testing logic
+Normal rank
@@ Property / cites work @@
+Q4896913
@@ Property / cites work: Q4896913 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed testing without encountering controllability and observability problems
+Normal rank
@@ Property / cites work @@
+Constructing checking sequences for distributed testing
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank