Model checking of security properties: A case study on Human-Robot Interaction processes
You are here
| Title | Model checking of security properties: A case study on Human-Robot Interaction processes |
| Publication Type | Workshop Paper |
| Year of Publication | 2017 |
| Authors | Farulla G.A, Lamprecht A.L |
