Research output per year
Research output per year
Project Details
| Short title | Automated Verification of Probabilistics Protocols with PRISM |
|---|---|
| Status | Finished |
| Effective start/end date | 1/04/03 → 31/03/06 |
Funding
- Engineering & Physical Science Research Council
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Research output
- 1 Article
-
Evaluating the reliability of NAND multiplexing with PRISM
Norman, G., Parker, D., Kwiatkowska, M. & Shukla, S., 1 Jan 2005, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 24, 10, p. 1629-1637 9 p.Research output: Contribution to journal › Article
68 Citations (Scopus)