首页 /研究 /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

发表年份
2023
引用次数
2

关键词

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

相关论文

查看 OTHER 分类全部论文