First Steps towards the Certification of an ARM Simulator Using Compcert.

Xiaomu Shi Jean-François Monin Frédéric Tuong Frédéric Blanqui

Published in: CPP (2011)

Keyphrases

third party
data mining
online learning
simulation model
simulation environment
robotic arm
database
computer vision
decision making
metadata