Macquarie University ResearchOnline
List View
Showing items 1 - 5 of 5.
Add to Quick Collection All 5 Results
| Title | Author/Creator | Date | Full Text | Reviewed | |
|---|---|---|---|---|---|
| Compositional closure for Bayes risk in probabilistic noninterference | McIver, Annabelle; Meinicke, Larissa; Morgan, Carroll | 2010 | — | 
|
|
| Security, probability and nearly fair coins in the cryptographers' café | McIver, Annabelle; Meinicke, Larissa; Morgan, Carroll | 2009 | — |
|
|
| Probabilistic choice in refinement algebra | Meinicke, Larissa; Hayes, Ian J | 2008 | — |
|
|
| A Stepwise development process for reasoning about the reliability of real-time systems | Meinicke, Larissa; Smith, Graeme | 2007 | — |
|
|
| Continuous action system refinement | Meinicke, Larissa; Hayes, Ian J | 2006 | — |
|
Author/Creator
- Hayes, Ian J (2)
- McIver, Annabelle (2)
- Morgan, Carroll (2)
- Smith, Graeme (1)
Subject Keyword
- action systems (1)
- probability (1)
- real-time (1)
- refinement (1)
- reliability (1)
Copyright Macquarie University | Privacy Statement | Accessibility Information
ABN 90 952 801 237 | CRICOS Provider No 00002J