OUTIL DE PREUVE DE BONNE DÉFINITION DE MODÈLES FORMELS UTILISÉS EN VALIDATION DE DONNÉES

Objectifs du stage : Évaluation et test d’un prouveur de bonne définition. Amélioration d’un parseur syntaxique B. CLEARSY DATA SOLVER […]

MISE EN PLACE D’UN OUTIL RAG LOCAL

Objectif du stage : Développer, tester et intégrer un système RAG (Retrieval-Augmented Generation) robuste et adapté aux besoins spécifiques des projets […]

CRÉATION DE TESTS AUTOMATISÉS POUR SIMULATEUR ERTMS

Objectif du stage : CLEARSY développe des simulateurs et bancs de tests dans le contexte de la norme de signalisation européenne […]

OUTIL COMMUNICATION ÉQUIPEMENTS ERTMS

Objectif du stage : Le contexte du stage est la norme de signalisation européenne ERTMS, qui définit l’échange normalisé de messages […]