Model-based testing of probabilistic systems (Q682363): Difference between revisions

@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
+Normal rank
@@ Property / cites work @@
+Using schedulers to test probabilistic distributed systems
+Normal rank
@@ Property / cites work @@
+Improved Non-committing Encryption with Applications to Adaptively Secure Protocols
+Normal rank
@@ Property / cites work @@
+Testing preorders for probabilistic processes.
@@ Property / cites work: Testing preorders for probabilistic processes. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3876158
@@ Property / cites work: Q3876158 / rank @@
+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 @@
+Characterising Testing Preorders for Finite Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Q4896913
@@ Property / cites work: Q4896913 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-Based Testing of Probabilistic Systems
@@ Property / cites work: Model-Based Testing of Probabilistic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Testing a probabilistic FSM using interval estimation
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+A Platform for High Performance Statistical Model Checking – PLASMA
+Normal rank
@@ Property / cites work @@
+Q4738778
@@ Property / cites work: Q4738778 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4178385
@@ Property / cites work: Q4178385 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835250
@@ Property / cites work: Q4835250 / 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 @@
+Global minimization of rational functions and the nearest GCDs
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5305630
@@ Property / cites work: Q5305630 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing probabilistic automata
@@ Property / cites work: Testing probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q5713453
@@ Property / cites work: Q5713453 / rank @@
+Normal rank