Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga. Applied Statistical Model Checking for a Sensor Behavior Analysis. In Martin J. Shepperd, Fernando Brito e Abreu, Alberto Rodrigues da Silva, Ricardo Pérez-Castillo, editors, Quality of Information and Communications Technology - 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020, Proceedings. Volume 1266 of Communications in Computer and Information Science, pages 399-411, Springer, 2020. [doi]
@inproceedings{ChehidaBBB20-0,
title = {Applied Statistical Model Checking for a Sensor Behavior Analysis},
author = {Salim Chehida and Abdelhakim Baouya and Saddek Bensalem and Marius Bozga},
year = {2020},
doi = {10.1007/978-3-030-58793-2_32},
url = {https://doi.org/10.1007/978-3-030-58793-2_32},
researchr = {https://researchr.org/publication/ChehidaBBB20-0},
cites = {0},
citedby = {0},
pages = {399-411},
booktitle = {Quality of Information and Communications Technology - 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020, Proceedings},
editor = {Martin J. Shepperd and Fernando Brito e Abreu and Alberto Rodrigues da Silva and Ricardo Pérez-Castillo},
volume = {1266},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-030-58793-2},
}