Login / Signup
Quasi-static analysis of a leg-wheel hybrid vehicle for enhancing stair climbing ability.
Pattaramon Tantichattanont
Szathys Songschon
Sathaporn Laksanacharoen
Published in:
ROBIO (2007)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
java card
malicious code
abstract interpretation
data model
building blocks
regular expressions
test generation
database
databases
artificial intelligence
mobile robot