bibtex

@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},
}

URL


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4155444