首页 /研究 /Using the DiaSpec design language and compiler to develop robotics systems
OTHER

Using the DiaSpec design language and compiler to develop robotics systems

Damien Cassou, Serge Stinckwich, Pierrick Koch

发表年份
2011
引用次数
4

摘要

International audience

关键词

CompilerComputer scienceCorrectnessProgramming languageSoftware engineeringRoboticsArtificial intelligenceDomain (mathematical analysis)Domain-specific languageAutomation

相关论文

查看 OTHER 分类全部论文