WSN Design and Verification Using On-Board Executable Specifications

Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri. WSN Design and Verification Using On-Board Executable Specifications. IEEE Trans. Industrial Informatics, 15(2):710-718, 2019. [doi]

Abstract

Abstract is missing.