Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems (Q3613092): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/11888116_33
+Normal rank
@@ Property / OpenAlex ID @@
+W2109872988
@@ Property / OpenAlex ID: W2109872988 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic theory of probabilistic and nondeterministic processes.
+Normal rank
@@ Property / cites work @@
+Testing preorders for probabilistic processes.
@@ Property / cites work: Testing preorders for probabilistic processes. / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank
@@ Property / cites work @@
+Testing Programs with the Aid of a Compiler
@@ Property / cites work: Testing Programs with the Aid of a Compiler / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Customized Testing for Probabilistic Systems
@@ Property / cites work: Customized Testing for Probabilistic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Specification, testing and implementation relations for symbolic-probabilistic systems
+Normal rank
@@ Property / cites work @@
+Algebraic theory of probabilistic processes.
@@ Property / cites work: Algebraic theory of probabilistic processes. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4422061
@@ Property / cites work: Q4422061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532084
@@ Property / cites work: Q4532084 / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic for Assessing Sets of Heterogeneous Testing Hypotheses
+Normal rank
@@ Property / cites work @@
+Q4449196
@@ Property / cites work: Q4449196 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896913
@@ Property / cites work: Q4896913 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4782696
@@ Property / cites work: Q4782696 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3613092