Foncteurs impératifs et composés: la notion de projets dans Frama-C.

Julien Signoles

Published in: JFLA (2009)

Keyphrases

multi agent
data model
color images
control system
databases
search algorithm
pattern recognition
information technology
image retrieval