"Formalization and Verification of RTPS StatefulWriter Module Using CSP."

Jiaqi Yin et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics