Travaux R&D
(Recherche & Développement)
![LCHIP](https://www.atelierb.eu/wp-content/uploads/2022/01/projet-lchip.jpg)
LCHIP
BPI France a sélectionné le projet LCHIP (Low Cost High Integrity Platform) dans le cadre du programme FUI 21. DURÉE : 42 mois PARTENAIRES : CLEARSY (leader),...
![AIDOART](https://www.atelierb.eu/wp-content/uploads/2022/01/projet-aidoart.jpg)
AIDOART
ECSEL JU a sélectionné le projet AIDOaRt (AI-augmented automation supporting modelling, coding, testing, monitoring and continuous development in...
![BLASST](https://www.atelierb.eu/wp-content/uploads/2022/01/logo-blasst-fr.jpg)
BLASST
ANR a sélectionné le projet BLaSST (Enhancing B Language Reasoners with SAT and SMT Techniques) dans la cadre de l’appel à projets générique 2020. DURÉE : 48...
![DISCONT](https://www.atelierb.eu/wp-content/uploads/2022/01/projet-discont.jpg)
DISCONT
ANR a sélectionné le projet DISCONT (Correct Integration of DIScrete and CONTinous models) dans la cadre de l’appel à projets générique 2017. DURÉE : 42...
![ICSPA](https://www.atelierb.eu/wp-content/uploads/2022/01/logo-icspa-fr-1.jpg)
ICSPA
ANR a sélectionné le projet ICSPA (Interoperable and Confident Set-based Proof Assistants) dans la cadre de l’appel à projets générique 2020. DURÉE : 48...