Model-Driven Development of Formally Verified Human-Robot Interactions

Saved in:
Bibliographic Details
Published inSpringerBriefs in applied sciences and technology
Format Book Chapter
LanguageEnglish
Online AccessGet full text
ISSN2191-5318
2191-530X
2191-5318
DOI10.1007/978-3-031-51500-2_4

Cover

More Information
ISSN:2191-5318
2191-530X
2191-5318
DOI:10.1007/978-3-031-51500-2_4