The Fourth IEEE International Conference on Robotic Computing, Date: 2020/11/09 - 2020/11/11, Location: Taichung, Taiwan
Publication date:
2020-11-09
ISSN:
978-1-7281-5237-0
Publisher:
IEEE
2020 Fourth IEEE International Conference on Robotic Computing (IRC)
Author:
Dinh, Hoang Tung
Holvoet, Tom
Keywords:
Science & Technology, Technology, Computer Science, Cybernetics, Robotics, Computer Science, MODEL CHECKER, VERIFICATION, C24E/20/034#55687088