Rapport
(Rapport Contrat/Projet)
Année : 2012
TelecomParis HAL : Connectez-vous pour contacter le contributeur
https://telecom-paris.hal.science/hal-02286282
Soumis le : vendredi 13 septembre 2019-15:34:19
Dernière modification le : mercredi 23 octobre 2024-10:30:04
Dates et versions
Identifiants
- HAL Id : hal-02286282 , version 1
Citer
Gabriel Pedroza, Ludovic Apvrille. LLD Modeling, Verification, and Automatic C-Code Generation, Deliverable D4.2.3. [Contract] EVITA, Telecom ParisTech. 2012. ⟨hal-02286282⟩
50
Consultations
0
Téléchargements