Explore projects

This repository contains "experimental modular TFA" (aka xtfa), a python-implementation of the algorithms and data structures that I have developed during my thesis. For more information on the theoretical grounds, please consult my manuscript.

In this repository, you can find information about the tool Model-based to Design Matrix (MB2DM) which is for the creation of design structure matrices from SysML models.

A repository for our fork of Frama-C.

Ros2 packages

Projet public mettant à disposition l’exécutable d'installation

ISAE Group Drone Competition MATLAB port code.

[Nanostar Team]