Login / Signup
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:
CoRR (2012)
Keyphrases
</>
third party
simulation model
data sets
computer vision
expert systems
vision system
simulation environment
evolutionary robotics
robocup rescue