MODEL PARTITIONS AND COMPACT TEST CASE SUITES (Q2909189): Difference between revisions

@@ Property / author @@
-Arnaldo Vieira Moura
@@ Property / author: Arnaldo Vieira Moura / rank @@
-Normal rank
@@ Property / author @@
+Arnaldo Vieira Moura
@@ Property / author: Arnaldo Vieira Moura / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Conformance tests for real-time systems with timed automata specifications
+Normal rank
@@ Property / cites work @@
+Q5541342
@@ Property / cites work: Q5541342 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+On minimizing the lengths of checking sequences
@@ Property / cites work: On minimizing the lengths of checking sequences / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1142/s0129054112500013
+Normal rank
@@ Property / OpenAlex ID @@
+W1970437561
@@ Property / OpenAlex ID: W1970437561 / rank @@
+Normal rank