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]
Abstract is missing.