[IEEE 2017 IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS) - Wuhan, China (2017.5.24-2017.5.26)] 2017 IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS) - FDR verification of a system involving a robot climbing stairs
Sumida, Tomoo, Suzuki, Hiroyuki, Shun, Sho Sei, Omaki, Kazuhito, Goto, Takaaki, Tsuchida, KenseiYear:
2017
Language:
english
DOI:
10.1109/ICIS.2017.7960115
File:
PDF, 637 KB
english, 2017