Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux

Type de document

RAPPORT

Langue

francais

Auteur

PETIT ; MARIANO ; POIRRIEZ

Résumé / Abstract

Nous présentons une approche exploratoire pour l'expression de la modularité en B par utilisation du système de modules 'à la Harper-Lillibridge-Leroy'.