Hayat Daoud

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 1

Top Topics

Routing Algorithm

Network On Chip

Top Venues

Publications

Hayat Daoud, Camel Tanougast, Mostefa Belarbi, Mikael Heil, Camille Diou
Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture. Syst. 5 (1) (2017)
Hayat Daoud, Camel Tanougast, Mostefa Belarbi, Mikael Heil
Formal specification and verification of wireless networked self-organized Systems on Chip. CoDIT (2014)