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

Maiga, Oumar ; Bright Ighoroje, Ufuoma ; et al.

In: Proceedings of MOSIM'12 ; 9th International Conference on Modeling, Optimization & SIMulation ; https://hal.science/hal-00728674 ; 9th International Conference on Modeling, 2012

Online Konferenz

Wie komme ich dran?

Zugriff:

Volltext

International audience

Titel:	INTEGRATION DES METHODES FORMELLES DANS LA SPECIFICATION, LA VERIFICATION ET LA VALIDATION DE MODELES DE SIMULATION A EVENEMENTS DISCRETS
Autor/in / Beteiligte Person:	Maiga, Oumar ; Bright Ighoroje, Ufuoma ; Kaba Traoré, Mamadou ; Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes (LIMOS) ; Université Blaise Pascal - Clermont-Ferrand 2 (UBP)-Université d'Auvergne - Clermont-Ferrand I (UdA)-SIGMA Clermont (SIGMA Clermont)-Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)
Link:	https://hal.science/hal-00728674 https://hal.science/hal-00728674/document Volltext
Zeitschrift:	Proceedings of MOSIM'12 ; 9th International Conference on Modeling, Optimization & SIMulation ; https://hal.science/hal-00728674 ; 9th International Conference on Modeling, 2012
Veröffentlichung:	HAL CCSD, 2012
Medientyp:	Konferenz
Schlagwort:	Bordeaux France [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation Subject Geographic: Bordeaux France
Sonstiges:	Nachgewiesen in: BASE Sprachen: French Collection: HAL Clermont Auvergne (Université Blaise Pascal Clermont-Ferrand / Université d'Auvergne) Document Type: conference object Language: French Relation: hal-00728674; https://hal.science/hal-00728674; https://hal.science/hal-00728674/document; https://hal.science/hal-00728674/file/paper_33.pdf Rights: info:eu-repo/semantics/OpenAccess

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.