Home /Research /Model-Based Engineering for Robotics with RoboChart and RoboTool
OTHER

Model-Based Engineering for Robotics with RoboChart and RoboTool

Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro

Year
2023
Citations
2

Keywords

Computer scienceNotationProgramming languageSemantics (computer science)Abstract state machinesDomain (mathematical analysis)Finite-state machineSoftwareProcess (computing)Software engineering

Related papers

Browse all OTHER papers