Synthesis of distinguishing test cases for timed finite state machines (Q1758682): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Testing timed automata
@@ Property / cites work: Testing timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs
+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 @@
+Q4165287
@@ Property / cites work: Q4165287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234083
@@ Property / cites work: Q4234083 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632473
@@ Property / cites work: Q5632473 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
+Normal rank
@@ Property / cites work @@
+Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
+Normal rank
@@ Property / cites work @@
+Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
+Normal rank