Search
Now showing items 1-1 of 1
(Doctoral thesis / Doktoravhandling, 2008)
Probability often plays a major role in the specification of computer systems, for a number of reasons. Probabilistic requirements are, of course, essential for specifying applications such as games of chance or probabilistic ...