worst-case expected energy consumption / energy management / wireless communication protocols / stochastic systems / security protocols / e.g. security protocols / energy consumption / computing / numerical solution / energy / /
Organization
University of Liverpool / University of Birmingham University / /
Person
Dave Parker / /
Position
player / /
Technology
security protocols / e.g. security protocols / wireless communication protocols / /
Automatic Verification of
Competitive Stochastic Systems
Dave Parker
University of Birmingham University of Liverpool, May 2012