Explore projects

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

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

TD équation de Kaya, transition énergétique et développement durable

Alternate free software firmware for DFRobot DFR0592 DC motor driver hat

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

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/