Model-Based Testing of Internet of Things Protocols

X. van Dommelen, M. van der Bijl, A. D. Pimentel
September 2022
Type
Conference paper
Publication
Formal Methods for Industrial Critical Systems