|
 
|
[AS06] Spécification et vérification de composants : état de l'art
Rapport Scientifique : Date de dépot: 2006/01/01, (Tech. Rep.: CEDRIC-06-1180)
motcle:
Résumé:
resume
Commentaires:
note
BibTeX
| @techreport { | |||
| AS06, | |||
| title | = | "{Spécification et vérification de composants : état de l'art}", | |
| author | = | "M. Aponte and M. Simonot", | |
| number | = | "{CEDRIC-06-1180}", | |
| institution | = | "{CEDRIC laboratory, CNAM-Paris, France}", | |
| date | = | {01-01-2006}, | |
| note | = | "{note}", | |
| } | |||
