Publications

Publications

< retour aux publications

Verification and Synthesis of Digital Systems from Assertions

Auteur(s) : D. Borrione, K. Morin-Allory, M. Liu, Y. Oddos, K. Morin-Allory, N. Javaheri

Doc. Source: Ecole d'hiver Francophone sur les Technologies de Conception des Systèmes embarqués Hétérogènes (FETCH'16)