Validating the Global Behaviour of a System Described with Scenarios using GDEVS and Z

Autor:	Trojet, Wassim, Sqali, Mamoun, Frydman, Claudia, Torres, Lucile, Hamri, Maamar El Amine
Přispěvatelé:	Modèles et Formalismes à Evénements Discrets (MOFED), Laboratoire d'Informatique et Systèmes (LIS), 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), HAMRI, MAAMAR EL AMINE
Jazyk:	angličtina
Rok vydání:	2009
Předmět:	[INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE] [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation ComputingMilieux_MISCELLANEOUS
Zdroj:	21th European Modeling and Simulation Symposium 21th European Modeling and Simulation Symposium, Sep 2009, Canary Island, Spain
Popis:	International audience
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::641b9aadb60d5cb235dccdbd8251f9f9 https://hal-amu.archives-ouvertes.fr/hal-03555686 Zobrazit plný text záznamu