Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi. Multi-valued Model Checking A Smart Glucose Monitoring System with Trust. In International Wireless Communications and Mobile Computing, IWCMC 2023, Marrakesh, Morocco, June 19-23, 2023. pages 1697-1702, IEEE, 2023. [doi]
@inproceedings{AlwhishiBE23,
title = {Multi-valued Model Checking A Smart Glucose Monitoring System with Trust},
author = {Ghalya Alwhishi and Jamal Bentahar and Ahmed Elwhishi},
year = {2023},
doi = {10.1109/IWCMC58020.2023.10183263},
url = {https://doi.org/10.1109/IWCMC58020.2023.10183263},
researchr = {https://researchr.org/publication/AlwhishiBE23},
cites = {0},
citedby = {0},
pages = {1697-1702},
booktitle = {International Wireless Communications and Mobile Computing, IWCMC 2023, Marrakesh, Morocco, June 19-23, 2023},
publisher = {IEEE},
isbn = {979-8-3503-3339-8},
}