Investigation on the optimal preloading of thin polymer-based adhesives: A quasi-static analysis.

Ausama Ahmed Carlo Menon

Published in: ROBIO (2011)

Keyphrases

static analysis
dynamic analysis
source code
java card
regular expressions
optimal solution
malicious code
symbolic execution
reverse engineering
abstract interpretation
artificial intelligence
test suite
climbing robot