Restricting DEv-PROMELA with a Hierarchy of Simulation Formalisms

Autor:	Aznam YACOUB, Hamri, M. E. A., Frydman, C.
Přispěvatelé:	Laboratoire des Sciences de l'Information et des Systèmes (LSIS), Centre National de la Recherche Scientifique (CNRS)-Arts et Métiers Paristech ENSAM Aix-en-Provence-Université de Toulon (UTLN)-Aix Marseille Université (AMU), Modèles et Formalismes à Evénements Discrets (MOFED), Laboratoire d'Informatique et Systèmes (LIS), Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Arts et Métiers Paristech ENSAM Aix-en-Provence-Centre National de la Recherche Scientifique (CNRS)
Jazyk:	angličtina
Rok vydání:	2017
Předmět:	[INFO]Computer Science [cs] ComputingMilieux_MISCELLANEOUS
Zdroj:	Symposium on Theory of Modeling and Simulation (TMS/DEVS '17) Symposium on Theory of Modeling and Simulation (TMS/DEVS '17), Apr 2017, San Diego, United States Scopus-Elsevier
Popis:	International audience
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::33e3fe650e7ef2a33dbeceff21bad8a6 https://hal-amu.archives-ouvertes.fr/hal-01786109 Zobrazit plný text záznamu