DMCA

J.C.: Redesign of the LMST wireless sensor protocol through formal modeling and statistical model checking (2008)

Cached

Download Links

by Michael Katelman , José Meseguer , Jennifer Hou
Venue:In: FMOODS. LNCS
Citations:15 - 1 self