المؤلفون: Cristia, Maximiliano, Rossi, Gianfranco, Frydman, Claudia

المصدر: Theory and Practice of Logic Programming 15 (2015) 651-665

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/1507.06852

المؤلفون: Hollmann, Diego A., Cristiá, Maximiliano, Frydman, Claudia

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/1406.6937

المؤلفون: Cristiá, Maximiliano, Frydman, Claudia

المصدر: EPTCS 80, 2012, pp. 28-42

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/1202.6120

المؤلفون: Ayadi, Ali, Frydman, Claudia, Laddada, Wissame, Soualmia, Lina, Zanni-Merk, Cecilia, L'Hote, India, Grellet, Emeline, Imbert, Isabelle

المساهمون: Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique, du Traitement de l'Information et des Systèmes (LITIS), Université Le Havre Normandie (ULH), Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA), Architecture et fonction des macromolécules biologiques (AFMB), Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)

المصدر: annual modeling and simulation conference ; https://amu.hal.science/hal-03614037 ; annual modeling and simulation conference, Jul 2021, San Diego, United States

مصطلحات موضوعية: COVID-19, SARS-CoV-2 replication machinery, modeling and simulation, discrete event system specification, DEVS, ontology-based model, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM]

جغرافية الموضوع: San Diego, United States

Relation: hal-03614037; https://amu.hal.science/hal-03614037; https://amu.hal.science/hal-03614037/document; https://amu.hal.science/hal-03614037/file/ANNSIM_paper_AliAyadi.pdf

الاتاحة: https://amu.hal.science/hal-03614037
https://amu.hal.science/hal-03614037/document
https://amu.hal.science/hal-03614037/file/ANNSIM_paper_AliAyadi.pdf

المؤلفون: Laddada, Wissame, Soualmia, Lina, Zanni-Merk, Cecilia, Ayadi, Ali, Frydman, Claudia, L’hote, India, Imbert, Isabelle

المساهمون: Laboratoire d'Informatique, du Traitement de l'Information et des Systèmes (LITIS), Université Le Havre Normandie (ULH), Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA), Laboratoire d'Informatique et Systèmes (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Architecture et fonction des macromolécules biologiques (AFMB), Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)

المصدر: KES ; https://hal-amu.archives-ouvertes.fr/hal-03614040 ; KES, Sep 2021, Szczecin, Poland. pp.487 - 496, ⟨10.1016/j.procs.2021.08.050⟩

مصطلحات موضوعية: Knowledge representation, biology domain, reasoning process, SWRL Knowledge representation, SWRL, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM]

جغرافية الموضوع: Szczecin, Poland

Relation: hal-03614040; https://hal-amu.archives-ouvertes.fr/hal-03614040; https://hal-amu.archives-ouvertes.fr/hal-03614040/document; https://hal-amu.archives-ouvertes.fr/hal-03614040/file/KES-frydman2021.pdf; PUBMEDCENTRAL: PMC8486259

الاتاحة: https://hal-amu.archives-ouvertes.fr/hal-03614040
https://hal-amu.archives-ouvertes.fr/hal-03614040/document
https://hal-amu.archives-ouvertes.fr/hal-03614040/file/KES-frydman2021.pdf
https://doi.org/10.1016/j.procs.2021.08.050

المؤلفون: Khemiri, Abdelhak, Hamri, Maamar El Amine, Frydman, Claudia, Pinaton, Jacques

المساهمون: Modèles et Formalismes à Evénements Discrets (MOFED), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (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), STMicroelectronics Rousset (ST-ROUSSET)

المصدر: Proceedings of Computer Simulation Conference 2019 ; https://amu.hal.science/hal-02372283 ; Proceedings of Computer Simulation Conference 2019, Jul 2019, Berlin, Germany

مصطلحات موضوعية: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Berlin, Germany

Relation: hal-02372283; https://amu.hal.science/hal-02372283; https://amu.hal.science/hal-02372283/document; https://amu.hal.science/hal-02372283/file/LIMITING-STATE-SPACE-EXPLOSION-OF-MODEL-CHECKING-USING-DISCRETE-EVENT-SIMULATION-COMBINING-DEVS-AND-PROMELA.pdf

الاتاحة: https://amu.hal.science/hal-02372283
https://amu.hal.science/hal-02372283/document
https://amu.hal.science/hal-02372283/file/LIMITING-STATE-SPACE-EXPLOSION-OF-MODEL-CHECKING-USING-DISCRETE-EVENT-SIMULATION-COMBINING-DEVS-AND-PROMELA.pdf

المؤلفون: Ayadi, Ali, Frydman, Claudia, Quy, Thanh Le

المساهمون: Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube), École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Les Hôpitaux Universitaires de Strasbourg (HUS)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et Nanosciences Grand-Est (MNGE), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie - CNRS Chimie (INC-CNRS)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie - CNRS Chimie (INC-CNRS)-Centre National de la Recherche Scientifique (CNRS)-Réseau nanophotonique et optique, Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Aix Marseille Université (AMU), Dai Hoc Da Nang - University of Danang Vietnam

المصدر: WSC '23: Proceedings of the Winter Simulation Conference ; Winter Simulation Conference (WSC), San Antonio, TX, United States ; https://hal.science/hal-04234070 ; Winter Simulation Conference (WSC), San Antonio, TX, United States, 2023, San Antonio, United States. pp.1196-1207, ⟨10.5555/3643142.3643241⟩

مصطلحات موضوعية: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

جغرافية الموضوع: San Antonio, United States

Time: San Antonio, United States

Relation: hal-04234070; https://hal.science/hal-04234070

الاتاحة: https://hal.science/hal-04234070
https://doi.org/10.5555/3643142.3643241

المؤلفون: Yacoub, Aznam, Hamri, Maamar El Amine, Frydman, Claudia

المساهمون: Modèles et Formalismes à Evénements Discrets (MOFED), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (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), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISSN: 0037-5497 ; EISSN: 1741-3133.

مصطلحات موضوعية: Model-checking, verification and validation, modeling and simulation, Discrete-event System Specification, PROMELA, DEv-PROMELA, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Relation: hal-03538522; https://amu.hal.science/hal-03538522; https://amu.hal.science/hal-03538522/document; https://amu.hal.science/hal-03538522/file/hal-03538522v1%20.pdf

الاتاحة: https://amu.hal.science/hal-03538522
https://amu.hal.science/hal-03538522/document
https://amu.hal.science/hal-03538522/file/hal-03538522v1%20.pdf
https://doi.org/10.1177/0037549720946107

المؤلفون: Ayadi, Ali, Frydman, Claudia, Laddada, Wissame, Imbert, Isabelle, Zanni-Merk, Cecilia, Soualmia, Lina

المساهمون: Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube), École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Les Hôpitaux Universitaires de Strasbourg (HUS)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et Nanosciences Grand-Est (MNGE), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Réseau nanophotonique et optique, Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique et Systèmes (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Normandie Université (NU), Laboratoire d'ingénierie des systèmes macromoléculaires (LISM), Aix Marseille Université (AMU)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)

المصدر: SIMULATION: Transactions of The Society for Modeling and Simulation International
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2023, ⟨10.1177/00375497231176085⟩

مصطلحات موضوعية: [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3dfa9d142b900886f62d6e901e0e6cf6
https://hal.science/hal-04137173

المؤلفون: Khemiri, Abdelhak, Amine Hamri, Maamar El, Frydman, Claudia, Pinaton, Jacques

المساهمون: Modèles et Formalismes à Evénements Discrets (MOFED), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (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), Laboratoire des Sciences de l'Information et des Systèmes (LSIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Arts et Métiers Paristech ENSAM Aix-en-Provence-Centre National de la Recherche Scientifique (CNRS), STMicroelectronics Rousset (ST-ROUSSET)

المصدر: 2018 Winter Simulation Conference (WSC)
https://amu.hal.science/hal-02069720
2018 Winter Simulation Conference (WSC), Dec 2018, Gothenburg, France. pp.3441-3448, ⟨10.1109/WSC.2018.8632509⟩

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: Gothenburg, France

Relation: hal-02069720; https://amu.hal.science/hal-02069720; https://amu.hal.science/hal-02069720/document; https://amu.hal.science/hal-02069720/file/305.pdf

الاتاحة: https://amu.hal.science/hal-02069720
https://amu.hal.science/hal-02069720/document
https://amu.hal.science/hal-02069720/file/305.pdf
https://doi.org/10.1109/WSC.2018.8632509

المؤلفون: Yacoub, Aznam, Nicolescu, Gabriela, Hamri, Maamar El Amine, Frydman, Claudia

المساهمون: Laboratoire des Sciences de l'Information et des Systèmes (LSIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Arts et Métiers Paristech ENSAM Aix-en-Provence-Centre National de la Recherche Scientifique (CNRS), Modèles et Formalismes à Evénements Discrets (MOFED), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (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), École Polytechnique de Montréal (EPM), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)

المصدر: https://hal.science/hal-01881349 ; ACM, pp.27, 2018, SummerSim '18: Proceedings of the 50th Computer Simulation Conference, ⟨10.5555/3275382.3275409⟩.

مصطلحات موضوعية: [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Relation: hal-01881349; https://hal.science/hal-01881349; https://hal.science/hal-01881349/document; https://hal.science/hal-01881349/file/031.pdf

الاتاحة: https://hal.science/hal-01881349
https://hal.science/hal-01881349/document
https://hal.science/hal-01881349/file/031.pdf
https://doi.org/10.5555/3275382.3275409

المؤلفون: Ayadi, Ali, Frydman, Claudia, Laddada, Wissame, Imbert, Isabelle, Zanni-Merk, Cecilia, Soualmia, Lina

المساهمون: Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube), École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Les Hôpitaux Universitaires de Strasbourg (HUS)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et Nanosciences Grand-Est (MNGE), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie - CNRS Chimie (INC-CNRS)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie - CNRS Chimie (INC-CNRS)-Centre National de la Recherche Scientifique (CNRS)-Réseau nanophotonique et optique, Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique, du Traitement de l'Information et des Systèmes (LITIS), Université Le Havre Normandie (ULH), Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA), Laboratoire d'ingénierie des systèmes macromoléculaires (LISM), Aix Marseille Université (AMU)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISSN: 0037-5497 ; EISSN: 1741-3133.

مصطلحات موضوعية: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]

Relation: hal-04137173; https://hal.science/hal-04137173; PUBMEDCENTRAL: PMC10285441

الاتاحة: https://hal.science/hal-04137173
https://doi.org/10.1177/00375497231176085

المؤلفون: Yacoub, Aznam, Hamri, Maamar El Amine, Frydman, Claudia

المساهمون: Modèles et Formalismes à Evénements Discrets (MOFED), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (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), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)

المصدر: https://amu.hal.science/hal-04232323 ; 2017.

مصطلحات موضوعية: DEv-PROMELA discrete event formalisms DEVS formal verification, DEv-PROMELA, discrete event formalisms, DEVS, formal verification, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Relation: hal-04232323; https://amu.hal.science/hal-04232323; https://amu.hal.science/hal-04232323/document; https://amu.hal.science/hal-04232323/file/scs17paper.pdf

الاتاحة: https://amu.hal.science/hal-04232323
https://amu.hal.science/hal-04232323/document
https://amu.hal.science/hal-04232323/file/scs17paper.pdf

المؤلفون: Cristiá, Maximiliano, Hollmann, Diego A., Frydman, Claudia

المساهمون: Fondo para la Investigación Científica y Tecnológica

المصدر: SIMULATION ; volume 95, issue 1, page 11-29 ; ISSN 0037-5497 1741-3133

الاتاحة: https://doi.org/10.1177/0037549718765080
https://journals.sagepub.com/doi/pdf/10.1177/0037549718765080
https://journals.sagepub.com/doi/full-xml/10.1177/0037549718765080

المؤلفون: Ayadi, Ali, Frydman, Claudia, Laddada, Wissame, Imbert, Isabelle, Zanni-Merk, Cecilia, Soualmia, Lina F

المصدر: Simulation; Oct2023, Vol. 99 Issue 10, p1011-1039, 29p

مصطلحات موضوعية: SARS-CoV-2, DISCRETE systems, LIFE cycles (Biology), SIMULATION methods & models, ONTOLOGIES (Information retrieval), CELL anatomy

المؤلفون: Yacoub, Aznam, Hamri, Maamar El Amine, Frydman, Claudia

المساهمون: Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Modèles et Formalismes à Evénements Discrets (MOFED), 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)

المصدر: JDF 2016 - LES JOURNÉES DEVS FRANCOPHONES - THÉORIE ET APPLICATIONS ; https://amu.hal.science/hal-03643337 ; JDF 2016 - LES JOURNÉES DEVS FRANCOPHONES - THÉORIE ET APPLICATIONS, 2016, Cargèse, France

مصطلحات موضوعية: [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

جغرافية الموضوع: Cargèse, France

Relation: hal-03643337; https://amu.hal.science/hal-03643337; https://amu.hal.science/hal-03643337/document; https://amu.hal.science/hal-03643337/file/hal-03643337.pdf

الاتاحة: https://amu.hal.science/hal-03643337
https://amu.hal.science/hal-03643337/document
https://amu.hal.science/hal-03643337/file/hal-03643337.pdf

المؤلفون: Hamri, Maâmar El-Amine, Giambiasi, Norbert, Frydman, Claudia

المساهمون: 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)

مصطلحات موضوعية: [INFO]Computer Science [cs], [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, info, geo

Relation: https://hal-amu.archives-ouvertes.fr/hal-04092510/file/MinMaxDEVS%28preprint%29.pdf; https://hal-amu.archives-ouvertes.fr/hal-04092510

الاتاحة: https://hal-amu.archives-ouvertes.fr/hal-04092510/file/MinMaxDEVS%28preprint%29.pdf
https://hal-amu.archives-ouvertes.fr/hal-04092510

المؤلفون: Zanni-Merk, Cecilia, Frydman, Claudia, Håkansson, Anne

المصدر: Data Technologies and Applications, 2018, Vol. 52, Issue 4, pp. 462-462.

URL الوصول: http://www.emeraldinsight.com/doi/10.1108/DTA-09-2018-081

المؤلفون: Yacoub, Aznam, Hamri, Maamar El Amine, Frydman, Claudia, Seo, Chungman, Zeigler, Bernard, P

المساهمون: Laboratoire des Sciences de l'Information et des Systèmes (LSIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Arts et Métiers Paristech ENSAM Aix-en-Provence-Centre National de la Recherche Scientifique (CNRS), Modèles et Formalismes à Evénements Discrets (MOFED), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (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), Department of Electrical and Computer Engineering Tucson (ECE), University of Arizona, Projet MAGE

المصدر: ISSN: 1740-2123.

مصطلحات موضوعية: DEv-PROMELA, Simulation, Formal Verification, Verification and Validation, [INFO]Computer Science [cs]

Relation: hal-04081027; https://amu.hal.science/hal-04081027; https://amu.hal.science/hal-04081027/document; https://amu.hal.science/hal-04081027/file/hal-01785965v1.pdf

الاتاحة: https://amu.hal.science/hal-04081027
https://amu.hal.science/hal-04081027/document
https://amu.hal.science/hal-04081027/file/hal-01785965v1.pdf
https://doi.org/10.1504/IJSPM.2017.085564

المؤلفون: Zanni-Merk, Cecilia, Frydman, Claudia, Toro, Carlos, Hicks, Yulia, Howlett, Robert, Jain, Lakhmi

المساهمون: Equipe Multi-agent, Interaction, Décision (MIND - LITIS), Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes (LITIS), Université Le Havre Normandie (ULH), Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA)-Université Le Havre Normandie (ULH), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA), Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Modèles et Formalismes à Evénements Discrets (MOFED), 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), Advanced Remanufacturing and Technology Centre Singapour (ARTC), Cardiff University, Bournemouth University Poole (BU)

المصدر: ISSN: 1877-0509.

مصطلحات موضوعية: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT]

Relation: hal-01824887; https://amu.hal.science/hal-01824887; https://amu.hal.science/hal-01824887/document; https://amu.hal.science/hal-01824887/file/1-s2.0-S1877050917315296-main.pdf

الاتاحة: https://amu.hal.science/hal-01824887
https://amu.hal.science/hal-01824887/document
https://amu.hal.science/hal-01824887/file/1-s2.0-S1877050917315296-main.pdf
https://doi.org/10.1016/j.procs.2017.08.172