Login / Signup
Automatic mapping of AF3 specifications to ARM cortex-M based FRDM platfrom.
Mohammadhossein Askarihemmat
Otmane Aït Mohamed
Mounir Boukadoum
Published in:
ICM (2014)
Keyphrases
</>
data driven
data mining
machine learning
multi agent
fully automatic
human brain
database
high level
semi automatic
magnetic resonance images
formal specification
control flow