Using probabilistic model checking for dynamic power management

Research output: Contribution to journal › Article

1 - 1 out of 1Page size: 10
Sort by: Start date

Research Projects

  1. Modelling and Analysis of Mobile AD Hoc Network Protocols

    Marta Kwiatkowska

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/11/03 → 31/10/06

    Project: Research Councils