Design of Walking and Dressing Aid Device: A Static Analysis Approach.

Xing Hu Yikun Liu Dingjun Zhong Peiji Yang

Published in: AIAM (ACM) (2021)

Keyphrases

static analysis
dynamic analysis
case study
keywords
user interface
decision trees
source code
building blocks
design process
java card
symbolic execution