Accéder directement au contenu

Laurent Fesquet

1
Documents

Présentation

Maître de conférences [Laboratoire TIMA](tima.imag.fr/ "Laboratoire TIMA") Equipe [CDSI](http://tima.imag.fr/tima/en/cdsi/cdsioverview.html "équipe CDSI") (Design of Integrated devices, Circuits and Systems)
Associate Professor [Laboratoire TIMA](tima.imag.fr/ "Laboratoire TIMA") Team: [CDSI](http://tima.imag.fr/tima/en/cdsi/cdsioverview.html "équipe CDSI") (Design of Integrated devices, Circuits and Systems)

Publications

862970

Towards consistency checking between HDL and UPF descriptions

Arthur Kalsing , Laurent Fesquet , Chouki Aktouf
Forum on Specification & Design Languages (FDL 2017), Sep 2017, Verona, Italy. pp.1-6, ⟨10.1109/FDL.2017.8303897⟩
Communication dans un congrès hal-01627341v1