INTEGRATION DES METHODES FORMELLES DANS LA SPECIFICATION, LA VERIFICATION ET LA VALIDATION DE MODELES DE SIMULATION A EVENEMENTS DISCRETS - Archive ouverte HAL
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

Oumar Maiga
  • Fonction : Auteur
Ufuoma Bright Ighoroje
  • Fonction : Auteur
Mamadou Kaba Traoré
Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes
CV

Domaines

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

Gregory Zacharewicz  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00728674

Soumis le : jeudi 30 août 2012-10:00:00

Dernière modification le : mardi 18 avril 2023-10:00:05

Archivage à long terme le : vendredi 16 décembre 2016-11:12:25

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

PRES_CLERMONT CNRS LIMOS MOSIM12 TDS-MACS CLERMONT-AUVERGNE-INP
125 Consultations
389 Téléchargements

Partager

More