Integrating stochastic reasoning into Event-B development (Q903513): Difference between revisions

@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+A unification of probabilistic choice within a design-based model of reversible computation
+Normal rank
@@ Property / cites work @@
+Qualitative Probabilistic Modelling in Event-B
@@ Property / cites work: Qualitative Probabilistic Modelling in Event-B / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Probability
@@ Property / cites work: Unifying Probability / rank @@
+Normal rank
@@ Property / cites work @@
+The critical discount factor for finite Markovian decision processes with an absorbing set
+Normal rank
@@ Property / cites work @@
+Q3262596
@@ Property / cites work: Q3262596 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q4250666
@@ Property / cites work: Q4250666 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement algebra for probabilistic programs
@@ Property / cites work: Refinement algebra for probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5305630
@@ Property / cites work: Q5305630 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions of the UNITY methodology: compositionality, fairness and probability in parallelism
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939620
@@ Property / cites work: Q4939620 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3135096
@@ Property / cites work: Q3135096 / rank @@
+Normal rank