Model-Based Testing of Internet of Things Protocols.

Xavier Manuel van Dommelen, Machiel van der Bijl, Andy D. Pimentel

Browse the full FMICS paper archive.