Mohamed Graiet
IdRefMots clés
FR |
EN
Cloud computing
Bpm
Blockchain
Vérification Formelle
Stockage en ligne (informatique)
Contrats intelligents
Systèmes informatiques -- Mesures de sûreté
Contrats électroniques
Cryptomonnaie
Workflow
Fog computing
Ordonnancement
Optimisation
Informatique -- Recherche
Ingénierie des protocoles
Simulation à événements discrets
Modélisation formelle
Communications sécurisées
Systèmes de transports intelligents
DEVS