LA RECHERCHE A L’ESME

Energie et technologies numériques,
les ingénieurs de l’innovation
responsable

SITE ESME

A Formal Verification Model for the Device–Fog–Cloud Continuum Using Event-B,

Accueil » A Formal Verification Model for the Device–Fog–Cloud Continuum Using Event-B,

Aude Herry