Choton, J. C., Gupta, L., & Prabhakar, P. (2024). Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2.
Style de citation Chicago (17e éd.)Choton, Jahid Chowdhury, Lipsy Gupta, et Pavithra Prabhakar. Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2. 2024.
Style de citation MLA (9e éd.)Choton, Jahid Chowdhury, et al. Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.