Evaluating the reliability of NAND multiplexing with PRISM

Gethin Norman, David Parker, Marta Kwiatkowska, S Shukla

Computer Science

Research output: Contribution to journal › Article

68 Citations (Scopus)

1 results

Filter

Finished
Automated Verification of Probabilistics Protocols with PRISM
Kwiatkowska, M. & Theodoropoulos, G.
Engineering & Physical Science Research Council
1/04/03 → 31/03/06
Project: Research Councils