BACHIR Hamid
BACHIR Hamid
  1. H. Bachir
  2. Research
  3. Projects
Projects
Projet sur: Apprentissage automatique avec verification formelle
Institut National Supérieur de Formation Agro-Alimentaire
Period: from 22-04-2021 to 22-04-2026
Projet sur: Information Flow Security in Component-Based Models : From verification to Implementation
Institut Supérieur d'Agriculture Lille
Period: from 01-02-2021 to 01-02-2025
Projet sur: A Reproducible Research Methodology for Designing and Conducting Faithful Simulations of Dynamic HPC Applications
Université de Montpellier I
Period: from 08-05-2019 to 08-05-2023