Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro yoneda, Hao Zheng, et al.. Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip.
19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, Sep 2014, Florence, Italy. pp.48-62,
⟨10.1007/978-3-319-10702-8_4⟩.
⟨hal-01064829⟩