Cours "Approche formelle de Modélisation & Simulation"

Approche formelle de Modélisation & Simulation
Mamadou Kaba Traoré
UFR SEN
Université Blaise Pascal, Clermont-Ferrand 2