Publications

Publications

< retour aux publications

An Innovative Methodology to Check Consistency Between HDL and UPF Descriptions

Auteur(s) : A. Kalsing, L. Fesquet, C. Aktouf

Doc. Source: Forum on Specification & Design Languages (FDL 2017)