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]

Abstract

Abstract is missing.