Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool
Article in Autonomous Robots (July 2024)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in Autonomous Robots (July 2024)