High-assurance Robotics Software
10/14/2015
DI, University of Minho, Braga, Portugal
In this presentation I talked about some recent work, done in HASLab, and future perspectives on high-assurance robotics software.
Recent Presentations
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.