Vers une approche de spécification formelle de systèmes complexes : Application aux systèmes de transport évoluant dans un environnement dynamique
TD1 GEMMA