Home /Research /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

Year
2011
Citations
4

Abstract

International audience

Keywords

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

Related papers

Browse all OTHER papers