GitLab

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-paristech.fr and @TTool_UML_SysML

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

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

Yet another Makefile for LaTeX

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

Modèle de présentation Beamer + Modèle de Poster aux couleur de TPT

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

This project contains the ontological framework developed during the MPM4CPS COST Action IC1404 () by working group 1 on foundations for MPM4CPS (http://mpm4cps.eu/).

RAMSES (Refinement of AADL Models for Synthesis of Embedded Systems) is a model transformation and code generation tool that produces C code for ARINC653-compliant operating systems and OSEK-compliant operating systems.

A toy example project showing how GitLab CI can be used for teaching