TTool (pronounced "tea-tool") is a toolkit dedicated to the edition of UML and SysML diagrams, and to the simulation and formal verification (safety, security, performance) of those diagrams. See ttool.telecom-paris.fr and @TTool_UML_SysML

This project provides utility libraries that can be used by several MBE tools such as RAMSES, TTool or RDALTE

RAMSES-2 (Refinement of AADL Models for Synthesis of Embedded Systems) is a model refinement and code generation tool that produces C code for ARINC653, OSEK and POSIX-compliant operating systems. More at https://mem4csd.telecom-paristech.fr/blog/

Nouveau thème Beamer aux couleur de Télécom Paris

Fork from https://gitlab.inf.telecom-sudparis.eu/infra-web/hotcrp-docker.git

SAR Image Despeckling by Deep Neural Networks: from a pre-trained model to an end-to-end training strategy - Notebook implementation usable on Google Colaboratory

Generation of SystemC code from AADL models for functional simulation

R script to calculate bearings and distance between series of points

Présentation de l'offre de service de la DSI

API pour communication avec carte Mifare DESFire EV1