View in EDS

Modeling and Verification of ROS 2 Callback Concurrency Using UPPAAL Model Checker.

Saved in:
Bibliographic Details
Title: Modeling and Verification of ROS 2 Callback Concurrency Using UPPAAL Model Checker.
Authors: Shin, Yong-Jun1 (AUTHOR) yjshin@etri.re.kr
Source: International Journal of Software Engineering & Knowledge Engineering. Jun2026, p1-23. 23p. 8 Illustrations.
Database: Business Source Ultimate
Description
ISSN:02181940
DOI:10.1142/s0218194026500439