Back to Results
First PageMeta Content
Probability theory / Mathematics / Analysis / Theoretical computer science / Sigma-algebra / Symbol / Denotational semantics / Probability distribution / Abstract interpretation / Random variable


Static Analysis of Programs with Imprecise Probabilistic Inputs Assale Adje2 , Olivier Bouissou1 , Jean Goubault-Larrecq2 , Eric Goubault1 , and Sylvie Putot1 1 CEA LIST
Add to Reading List

Document Date: 2013-09-17 04:23:07


Open Document

File Size: 871,49 KB

Share Result on Facebook