L'institut
FEMTO-ST
Annuaire

Vous êtes ici

Henri De Boutray

Publications de Henri De Boutray

2019 (1)

  • inproceedings - Formalisation et validation d'une méthode de construction de systèmes de blocs
    18èmes Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2019) / Toulouse, France (2019, Pages pages 51 - 58)
    Colonval, Jessy | De Boutray, Henri
    pdf | bibtex