Personal information

No personal information available

Activities

Works (2)

VeriFog: A Generic Model-based Approach for Verifying Fog Systems at Design Time

2024-04-08 | Conference paper
Contributors: Hiba Awad; Abdelghani Alidra; Hugo Bruneliere; Thomas Ledoux; Etienne Leclercq; Jonathan Rivalan
Source: check_circle
Crossref

A feature-based survey of Fog modeling languages

Future Generation Computer Systems
2023-01 | Journal article
Contributors: Abdelghani Alidra; Hugo Bruneliere; Thomas Ledoux
Source: check_circle
Crossref