Complete open-state testing of limitedly nondeterministic systems (Q2654997): Difference between revisions

@@ Property / describes a project that uses @@
+UniTESK
@@ Property / describes a project that uses: UniTESK / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q114979871
@@ Property / Wikidata QID: Q114979871 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of test experiments
@@ Property / cites work: Formalization of test experiments / rank @@
+Normal rank
@@ Property / cites work @@
+Play to Test
@@ Property / cites work: Play to Test / rank @@
+Normal rank
@@ Property / cites work @@
+Testing finite-state machines: state identification and verification
+Normal rank
@@ Property / cites work @@
+Q4808820
@@ Property / cites work: Q4808820 / rank @@
+Normal rank
@@ Property / cites work @@
+Traversal of an unknown directed graph by a finite robot
+Normal rank
@@ Property / cites work @@
+Matching, Euler tours and the Chinese postman
@@ Property / cites work: Matching, Euler tours and the Chinese postman / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s0361768809060012
+Normal rank
@@ Property / OpenAlex ID @@
+W2016899833
@@ Property / OpenAlex ID: W2016899833 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2654997