首页 /研究 /Formal Specification of Robotic Architectures for Experimental Robotics
OTHER

Formal Specification of Robotic Architectures for Experimental Robotics

Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus

发表年份
2019
引用次数
5

关键词

ToolchainComputer scienceExecutableRoboticsSoftware engineeringArtificial intelligenceDomain (mathematical analysis)SoftwareSoftware frameworkSoftware system

相关论文

查看 OTHER 分类全部论文