Objectif : Mettre en place un banc de test automatique pour cette interface graphique utilisant Ranorex et l’intégrer dans le processus d’intégration […]
Objectif : Développer une bibliothèque qui regroupe l’ensemble des fonctionnalités actuelles pour consulter et manipuler un projet B, de telle […]
Objectif : Moderniser et améliorer le traitement des types dans Atelier B, par intégration de l’inférence de types dans les […]
Objectif : Analyser automatiquement les fichiers log d’un système de protection ferroviaire dans le cadre d’opérations de maintenance. Contexte : […]
Objectif du stage : CLEARSY développe des simulateurs et bancs de tests dans le contexte de la norme de signalisation européenne […]
Objectif : Faire de l’analyse d’image pour lire automatiquement des diagrammes (traitement de l’image, IA). CLEARSY Diagram Editor est un […]
Objectif : L’objectif du stage est de concevoir un prototype fonctionnel d’un système de localisation de train à base de […]
Objectif : L’avènement de l’autonomie dans les transports et la volonté de mobilité frugale implique un nombre grandissant de projets […]