Login / Signup
Hajer Herbegue
Publication Activity (10 Years)
Years Active: 2013-2014
Publications (10 Years): 0
Top Topics
Hardware Architecture
Xilinx Virtex
Formal Specification
Open Source
Top Venues
ARCS
SIES
</>
Publications
</>
Hajer Herbegue
,
Mamoun Filali
,
Hugues Cassé
Formal Architecture Specification for Time Analysis.
ARCS
(2014)
Hajer Herbegue
,
Hugues Cassé
,
Mamoun Filali
,
Christine Rochange
Hardware architecture specification and constraint-based WCET computation.
SIES
(2013)