Explore la composition des acteurs, les modèles fondamentaux, l'agrégation des résultats, la délégation des risques et les stratégies de façade dans les systèmes d'acteurs.
Explore les protocoles en Akka Tapé, tapant les acteurs pour restreindre les types de messages et les protocoles de modélisation avec les types de données algébriques.
Se concentre sur le déploiement de certificats SSL pour l'hébergement Web ENAC, couvrant la génération de certificats, le débogage et la gestion de livres de lecture Ansible.
Couvre les normes de communication IoT, les communications sans fil, les protocoles réseau, les plates-formes cloud IoT, les modèles commerciaux et les opinions d'experts.
Explore le projet EXSCALATE4COV, axé sur la découverte informatique de médicaments pour les traitements COVID-19 et la collaboration entre le milieu universitaire et l'industrie.
Explore l'équilibre en 2D, les contraintes, les résultats, la détermination de la tension, les articulations, les supports, les contacts et les diagrammes du corps libre.
