Communication Dans Un Congrès
Année : 2017
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 23 janvier 2026-09:12:06
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
290
Consultations
0
Téléchargements