260518_news
🎉 My single-authored paper, “Modeling and Verification of ROS 2 Callback Concurrency Using the UPPAAL Model Checker,” has been accepted in “Int’l Journal of Software Engineering and Knowledge Engineering (IJSEKE).
🎉 My single-authored paper, “Modeling and Verification of ROS 2 Callback Concurrency Using the UPPAAL Model Checker,” has been accepted in “Int’l Journal of Software Engineering and Knowledge Engineering (IJSEKE).