Testing from a stochastic timed system with a fault model (Q1001893): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2008.06.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2055530557
@@ Property / OpenAlex ID: W2055530557 / rank @@
+Normal rank
@@ Property / cites work @@
+A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
+Normal rank
@@ Property / cites work @@
+The theory of interactive generalized semi-Markov processes
+Normal rank
@@ Property / cites work @@
+Q4532083
@@ Property / cites work: Q4532083 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic theory of probabilistic and nondeterministic processes.
+Normal rank
@@ Property / cites work @@
+A testing scenario for probabilistic processes
@@ Property / cites work: A testing scenario for probabilistic processes / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Software Design Modeled by Finite-State Machines
+Normal rank
@@ Property / cites work @@
+Testing preorders for probabilistic processes.
@@ Property / cites work: Testing preorders for probabilistic processes. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541342
@@ Property / cites work: Q5541342 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank
@@ Property / cites work @@
+A process algebra for timed systems
@@ Property / cites work: A process algebra for timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936893
@@ Property / cites work: Q4936893 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduced length checking sequences
@@ Property / cites work: Reduced length checking sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791843
@@ Property / cites work: Q4791843 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification, testing and implementation relations for symbolic-probabilistic systems
+Normal rank
@@ Property / cites work @@
+Implementation Relations for Stochastic Finite State Machines
+Normal rank
@@ Property / cites work @@
+Testing Finite State Machines Presenting Stochastic Time and Timeouts
+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 @@
+Algebraic theory of probabilistic processes.
@@ Property / cites work: Algebraic theory of probabilistic processes. / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems - FORTE 2003
+Normal rank
@@ Property / cites work @@
+Q4532084
@@ Property / cites work: Q4532084 / rank @@
+Normal rank
@@ Property / cites work @@
+A timed model for communicating sequential processes
+Normal rank
@@ Property / cites work @@
+\(\mathcal {HOTL}\): Hypotheses and observations testing logic
+Normal rank
@@ Property / cites work @@
+Testing timed automata
@@ Property / cites work: Testing timed automata / rank @@
+Normal rank