Modelling and Verifying Migration: A case study.

Michel Charpentier Mamoun Filali Philippe Mauran Gérard Padiou Philippe Quéinnec

Published in: OPODIS (1999)

Keyphrases

test bed
case study
artificial intelligence
neural network
machine learning
computer vision
website
image sequences
model checking
conceptual modelling
avian influenza