scientific article
From MaRDI portal
Publication:2848422
zbMath1272.68242MaRDI QIDQ2848422
Sylvain Peyronnet, Marie Duflot, Thomas Hérault, Frederic Magniette, Richard Lassaigne, Claudine Picaronny, Stephane Messika, Laurent Fribourg
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105002446
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)
Related Items (4)
Probabilistic verification and approximation ⋮ Evaluating Complex MAC Protocols for Sensor Networks with APMC ⋮ Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing ⋮ Performance analysis and functional verification of the stop-and-wait protocol in HOL
Uses Software
This page was built for publication: