Communication Dans Un Congrès
Année :
Ciprian Teodorov : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01623030
Soumis le : mardi 24 octobre 2017-23:15:21
Dernière modification le : vendredi 24 mars 2023-14:53:05
Dates et versions
Identifiants
- HAL Id : hal-01623030 , version 1
Citer
Erwan Fabiani, Loïc Lagadec, Mohamed Ben Hammouda, Ciprian Teodorov. Asserting causal properties in High Level Synthesis. 2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece. ⟨hal-01623030⟩
Collections
143
Consultations
0
Téléchargements