Samir Ouchani. Ensuring the Functional Correctness of IoT through Formal Modeling and Verification. In El Hassan Abdelwahed, Ladjel Bellatreche, Matteo Golfarelli, Dominique Méry, Carlos Ordonez 0001, editors, Model and Data Engineering - 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Volume 11163 of Lecture Notes in Computer Science, pages 401-417, Springer, 2018. [doi]
@inproceedings{Ouchani18,
title = {Ensuring the Functional Correctness of IoT through Formal Modeling and Verification},
author = {Samir Ouchani},
year = {2018},
doi = {10.1007/978-3-030-00856-7_27},
url = {https://doi.org/10.1007/978-3-030-00856-7_27},
researchr = {https://researchr.org/publication/Ouchani18},
cites = {0},
citedby = {0},
pages = {401-417},
booktitle = {Model and Data Engineering - 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
editor = {El Hassan Abdelwahed and Ladjel Bellatreche and Matteo Golfarelli and Dominique Méry and Carlos Ordonez 0001},
volume = {11163},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-00856-7},
}