DSpace Repository

Browsing Área de Lenguajes y Sistemas Informáticos by Subject "Probabilistic model checking"

Browsing Área de Lenguajes y Sistemas Informáticos by Subject "Probabilistic model checking"

Sort by: Order: Results:

  • Ruiz, M. Carmen; Macià, Hermenegilda; Calleja, Javier (IOS Press, 2018)
    The evolution of Wireless Sensor Networks has led to the development of protocols that must comply with their new restrictions while being efficient in terms of energy consumption and time. We focus on a collision resolution ...

Search DSpace


Advanced Search

Browse

My Account