Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach (Q3434609): Difference between revisions

@@ Property / describes a project that uses @@
+ASTRAL
@@ Property / describes a project that uses: ASTRAL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TorX
@@ Property / describes a project that uses: TorX / rank @@
+Normal rank
@@ 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/11759744_12
+Normal rank
@@ Property / OpenAlex ID @@
+W1810458149
@@ Property / OpenAlex ID: W1810458149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413745
@@ Property / cites work: Q4413745 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532083
@@ Property / cites work: Q4532083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204034
@@ Property / cites work: Q3204034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426384
@@ Property / cites work: Q4426384 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+Specifying Concurrent Program Modules
@@ Property / cites work: Specifying Concurrent Program Modules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942015
@@ Property / cites work: Q4942015 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4437059
@@ Property / cites work: Q4437059 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank