@inproceedings{CBB+0,
title = { Applied Statistical Model Checking for a Sensor Behavior Analysis },
author = {Chedida, Salim and Baouya, Abdelhakim and Bensalem, Saddek and Bozga, Marius},
year = {2020},
booktitle = {Quality of Information and Communications Technology - 13th International Conference, {QUATIC} 2020, Faro, Portugal, September 9-11, 2020, Proceedings},
pages = {399--411},
publisher = {Springer},
series = {Communications in Computer and Information Science},
volume = {1266},
team = {RSD},
timestamp = {Sat, 19 Sep 2020 13:19:36 +0200},
biburl = {https://dblp.org/rec/conf/quatic/ChehidaBBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
