Cours "Approche formelle de Modélisation & Simulation"
Approche formelle de Modélisation & Simulation
Mamadou Kaba Traoré
UFR SEN
Université Blaise Pascal, Clermont-Ferrand 2
www.modelia.org - RMT Data Science et Modélisation pour l'Agriculture et Agroalimentaire