Publication:5155326

M. Carmen Ruiz, Javier Calleja, Hermenegilda Macia

Publication date: 6 October 2021

Full work available at URL: https://content.iospress.com/articles/informatica/inf1207

performance evaluation; wireless sensor networks; probabilistic model checking; discrete-time Markov chain; formal modelling; collision resolution algorithms

Mathematics Subject Classification ID

60J20: Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.)

68Q60: Specification and verification (program logics, model checking, etc.)

68M12: Network protocols

68M18: Wireless sensor networks as related to computer science