scientific article; zbMATH DE number 7407265
Publication:5155326
zbMath1482.68061MaRDI QIDQ5155326
M. Carmen Ruiz, Javier Calleja, Hermenegilda Macia
Publication date: 6 October 2021
Full work available at URL: https://content.iospress.com/articles/informatica/inf1207
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
performance evaluationwireless sensor networksprobabilistic model checkingdiscrete-time Markov chainformal modellingcollision resolution algorithms
Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12) Wireless sensor networks as related to computer science (68M18)
Cites Work
This page was built for publication: