Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel > Equipe MACAO > Projets collaboratifs

Projets collaboratifs

ANR CLIMT

Méthodes catégoriques et logiques en transformations de modèles

Lire la suite

SIRSEC

Système d’Information Reparti Sécuritaire

Lire la suite

GALAXY

Développement collaboratif de systèmes complexes selon une approche guidée par les modèles

Lire la suite

Full-MDE

Full Model Driven Development for On-Board Software

Lire la suite

SoCKET

SoC toolKit for critical Embedded sysTems (Ingénierie dirigée par les modèles pour les systèmes sur puce (SoC))

Lire la suite

DOMINO

DOMaINes et prOcessus méthodologique

Lire la suite

TOPCASED

Toolkit in open source for Critical Application & SystEms Development

Lire la suite

TERESA

Trusted computing Engineering for Resource constrained Embedded Systems Applications

Lire la suite