Multi-valued Model Checking A Smart Glucose Monitoring System with Trust.

Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi

Browse the full IWCMC paper archive.