INTEGRATION DES METHODES FORMELLES DANS LA SPECIFICATION, LA VERIFICATION ET LA VALIDATION DE MODELES DE SIMULATION A EVENEMENTS DISCRETS
Domaines
Modélisation et simulation
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...