Login / Signup
Hiba Awad
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Design Space
Human Computer Interface
Design Issues
Generic Model
Top Venues
SAC
</>
Publications
</>
Hiba Awad
,
Abdelghani Alidra
,
Hugo Bruneliere
,
Thomas Ledoux
,
Étienne Leclercq
,
Jonathan Rivalan
VeriFog: A Generic Model-based Approach for Verifying Fog Systems at Design Time.
SAC
(2024)