ERDF
CONTACT US TODAY: +353 61 213 028

Model checking of security properties: A case study on Human-Robot Interaction processes

TitleModel checking of security properties: A case study on Human-Robot Interaction processes
Publication TypeWorkshop Paper
Year of Publication2017
AuthorsFarulla, GA, Lamprecht, AL
Workshop Name2017 12th International Conference on Design Technology of Integrated Systems In Nanoscale Era (DTIS)
DOI10.1109/DTIS.2017.7930158