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. Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture. Systems, 5(1):17, 2017. [doi]

Authors

Hayat Daoud

This author has not been identified. Look up 'Hayat Daoud' in Google

Camel Tanougast

This author has not been identified. Look up 'Camel Tanougast' in Google

Mostefa Belarbi

This author has not been identified. Look up 'Mostefa Belarbi' in Google

Mikael Heil

This author has not been identified. Look up 'Mikael Heil' in Google

Camille Diou

This author has not been identified. Look up 'Camille Diou' in Google