RoboStar: Engineering Verified Software for Robotics

Activity: Talk or presentation › Invited talk

Description

Engineering vision for verified robotics.
Period10 May 2019
Event titleRoboTop Summit
Event typeConference
LocationNingbo, ChinaShow on map
Degree of RecognitionInternational

Documents & Links

  • Ningbo

    File: application/pdf, 7.58 MB

    Type: Text

Related content