Rechercher

[BIG05] Une proposition de formalisme orienté composant, application de méthodes d’exécution symbolique pour la validation de systèmes à base de composants

Mémoire de Thèse : Soutenue le: 01 January 2005, : Une proposition de formalisme orienté composant, application de méthodes d’exécution symbolique pour la validation de systèmes à base de composants,

Auteurs: C. Bigot

motcle:

BibTeX

@phdthesis {
BIG05,
title="{Une proposition de formalisme orienté composant, application de méthodes d’exécution symbolique pour la validation de systèmes à base de composants}",
author="C. Bigot",
year=2005,
address="{CEDRIC Laboratory, Paris, France}",
}