Explorer les projets

DM n°1 du cours Modélisation et vérification des systèmes concurrents. Implémentation de système de transition, de proposition logique et d'un algorithme de vérification d'invariant.

DM n°1 of the course Modeling and verification of concurrent systems. Implementation of transition system, logical proposition and invariant verification algorithm.

Formation Git - Partie 2 : les forges logicielles

Projet de création d'un site web via Python/Flask

This project aims at discovering unmet descriptions of Protein-Protein Interactions using a large-scale approach.

moudre