Using probabilistic model checking for dynamic power management

Gethin Norman, David Parker, Marta Kwiatkowska, S Shukla, R Gupta

Computer Science

Research output: Contribution to journal › Article

42 Citations (Scopus)

1 results

Finished
Modelling and Analysis of Mobile AD Hoc Network Protocols
Kwiatkowska, M.
Engineering & Physical Science Research Council
1/11/03 → 31/10/06
Project: Research Councils