INTEGRATION DES METHODES FORMELLES DANS LA SPECIFICATION, LA VERIFICATION ET LA VALIDATION DE MODELES DE SIMULATION A EVENEMENTS DISCRETS - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

INTEGRATION DES METHODES FORMELLES DANS LA SPECIFICATION, LA VERIFICATION ET LA VALIDATION DE MODELES DE SIMULATION A EVENEMENTS DISCRETS

Fichier principal
Vignette du fichier
paper_33.pdf (778 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-00728674 , version 1 (30-08-2012)

Identifiants

  • HAL Id : hal-00728674 , version 1

Citer

Oumar Maiga, Ufuoma Bright Ighoroje, Mamadou Kaba Traoré. INTEGRATION DES METHODES FORMELLES DANS LA SPECIFICATION, LA VERIFICATION ET LA VALIDATION DE MODELES DE SIMULATION A EVENEMENTS DISCRETS. 9th International Conference on Modeling, Optimization & SIMulation, Jun 2012, Bordeaux, France. ⟨hal-00728674⟩
114 Consultations
361 Téléchargements

Partager

Gmail Facebook X LinkedIn More