Hayat Daoud

According to our database, Hayat Daoud authored at least 2 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture.

Hayat Daoud, Camel Tanougast, Mostefa Belarbi, Mikael Heil, Camille Diou

Syst., 2017

2014

Formal specification and verification of wireless networked self-organized Systems on Chip.

Hayat Daoud, Camel Tanougast, Mostefa Belarbi, Mikael Heil

Proceedings of the International Conference on Control, 2014