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]
@article{GaglioRMP19,
title = {WSN Design and Verification Using On-Board Executable Specifications},
author = {Salvatore Gaglio and Giuseppe Lo Re and Gloria Martorella and Daniele Peri},
year = {2019},
doi = {10.1109/TII.2018.2840534},
url = {https://doi.org/10.1109/TII.2018.2840534},
researchr = {https://researchr.org/publication/GaglioRMP19},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Industrial Informatics},
volume = {15},
number = {2},
pages = {710-718},
}