|
 
|
[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,
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}", | |
| } |
