DSpace at KISTKIST Conference Paper2021

Full metadata record

DC Field Value Language
dc.contributor.authorChoi, Benjamin J.-
dc.contributor.authorPark, Chung Hyuk-
dc.contributor.authorPark, Ju youn-
dc.date.accessioned2024-01-19T09:08:31Z-
dc.date.available2024-01-19T09:08:31Z-
dc.date.created2022-02-24-
dc.date.issued2021-03-08-
dc.identifier.urihttps://pubs.kist.re.kr/handle/201004/113574-
dc.languageEnglish-
dc.publisherACM-
dc.titleFormal Verification for Human-Robot Interaction in Medical Environments-
dc.typeConference-
dc.identifier.doi10.1145/3434074.3447155-
dc.description.journalClass1-
dc.identifier.bibliographicCitationHRI '21 Companion: Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction-
dc.citation.titleHRI '21 Companion: Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction-
dc.citation.conferencePlaceUS-
dc.citation.conferenceDate2021-03-08-
dc.relation.isPartOfCompanion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction-
Appears in Collections:
KIST Conference Paper > 2021
Files in This Item:
There are no files associated with this item.
Export
RIS (EndNote)
XLS (Excel)
XML
Show Simple Item Record

qrcode

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

BROWSE