Found 2 results
Filters: Author is G. A. Farulla [Clear All Filters]
Model checking of security properties: A case study on Human-Robot Interaction processes. 2017 12th International Conference on Design Technology of Integrated Systems In Nanoscale Era (DTIS).
.
2017. A Novel Architectural Pattern to Support the Development of Human-Robot Interaction (HRI) Systems Integrating Haptic Interfaces and Gesture Recognition Algorithms. 2015 IEEE Computer Society Annual Symposium on VLSI.
.
2015.