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 | Conference Paper |
| Year of Publication | 2017 |
| Authors | Farulla G.A, Lamprecht A.L |
| Conference Name | 2017 12th International Conference on Design Technology of Integrated Systems In Nanoscale Era (DTIS) |
| Date Published | April |
| DOI | 10.1109/DTIS.2017.7930158 |
