Thésard TIGANE Samir

Research activity

Exploitation des réseaux de Petri stochastique généralisé (GSPN) pour la modélisation et la vérification des systèmes reconfigurables