Login / Signup
Hamza Chaker
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
High Level
Cost Function
Formal Model
Top Venues
COSMIC@CGO
</>
Publications
</>
Hamza Chaker
,
Loïc Cudennec
,
Safae Dahmani
,
Guy Gogniat
,
Martha Johanna Sepúlveda
Cycle-based Model to Evaluate Consistency Protocols within a Multi-protocol Compilation Tool-chain.
COSMIC@CGO
(2015)