Publications |
---|
Roumeissa Khennaoui; Nabil Belala
Towards a Formal Context-Aware Workflow Model for Ambient Environment. 18th Int. Conf. on Smart Homes and Health Telematics (ICOST'20): 415-422 (2020) |
PhD thesis in progress |
---|
Roumeissa Khennaoui
Approche de vérification contextuelle des systèmes ambiants. Université Constantine 2, Algérie |