Formal Modelling and Verification of the RTPS Behavior Module.

Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu

Browse the full TASE paper archive.