المؤلفون: Jung Sub Ahn, Tae Ho Cho

المصدر: IEEE Access, Vol 10, Pp 119232-119243 (2022)

مصطلحات موضوعية: Discrete event system specification (DEVS), false negative attack detection, false positive attack detection, history trajectory monitoring, network security, wireless sensor network, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/9869634/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/b06c8ce7962d4ef09ff228b3cae7db6f

المؤلفون: El Kassis, Mariane, Trousset, François, Daclin, Nicolas, Zacharewicz, Grégory

المساهمون: Laboratoire des Sciences des Risques (LSR), IMT - MINES ALES (IMT - MINES ALES), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)

المصدر: I3M 2022 - International Multidisciplinary Modeling & Simulation Multiconference ; https://hal.science/hal-03822888 ; I3M 2022 - International Multidisciplinary Modeling & Simulation Multiconference, Sep 2022, Rome, Italy. ⟨10.46354/i3m.2022.mas.021⟩ ; https://www.msc-les.org/i3m2022/

مصطلحات موضوعية: Business Process Simulation Interchange standard (BPSIM), Model Transformation, Business Process Modeling and Notation (BPMN), Model-Driven Engineering (MDE), Discrete Event System Specification (DEVS), Functional mock-up interface (FMI), [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

جغرافية الموضوع: Rome, Italy

Relation: hal-03822888; https://hal.science/hal-03822888; https://hal.science/hal-03822888v1/document; https://hal.science/hal-03822888v1/file/I3m_MK.pdf

الاتاحة: https://hal.science/hal-03822888
https://hal.science/hal-03822888v1/document
https://hal.science/hal-03822888v1/file/I3m_MK.pdf
https://doi.org/10.46354/i3m.2022.mas.021

المؤلفون: El Kassis, Mariane, Trousset, François, Daclin, Nicolas, Zacharewicz, Grégory

المساهمون: Laboratoire des Sciences des Risques (LSR), IMT - MINES ALES (IMT - MINES ALES), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)

المصدر: ISBN 9782364939318 ; JFMS 2022 - Les Journées Francophones de la Modélisation et de la Simulation : Ingénierie Dirigée par les Modèles pour la Théorie de la Modélisation et de la Simulation et les Systèmes Multi-Agents.

مصطلحات موضوعية: Business Process Simulation Interchange standard (BPSIM), Business Process Simulation Interchange standard (BPSIM, Meta-Modeling, Model Transformation, Business Process Modeling and Notation (BPMN), Model-Driven Engineering (MDE), discrete event simulation (DES), Discrete Event System Specification (DEVS), [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

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

Relation: hal-03648045; https://hal.science/hal-03648045; https://hal.science/hal-03648045v1/document; https://hal.science/hal-03648045v1/file/JFMS2022_paper_12.pdf

الاتاحة: https://hal.science/hal-03648045
https://hal.science/hal-03648045v1/document
https://hal.science/hal-03648045v1/file/JFMS2022_paper_12.pdf

المؤلفون: Esteban San Román, Segundo, Chacón, Jesús, Risco-Martín, José Luis, Carazo Barbero, Gonzalo, Besada-Portas, Eva

مصطلحات موضوعية: Modelado, Simulación, Despliegue de software, Discrete Event System Specification (DEVS), Diseño basado en modelos, Internet de las Cosas (IoT) Medioambiental (EIoT), Cianobacterias, Calidad de aguas, Simulation, Software deployment, Model based design, Environmental Internet of Things (EIoT), Cyanobacteria Blooms, Water quality

Relation: https://doi.org/10.17979/spudc.9788497498418.0017; Esteban San Román, S., Chacón Sombría, J., Risco Martín, J.L., Carazo Barbero, G., Besada Portas, E. (2022) Desarrollo de un entorno eIOT sobre DEVS: sistema de alerta y gestión de blooms de cianobacterias. XLIII Jornadas de Automática: libro de actas, pp.17-22. https://doi.org/10.17979/spudc.9788497498418.0017; http://hdl.handle.net/2183/31333

الاتاحة: http://hdl.handle.net/2183/31333
https://doi.org/10.17979/spudc.9788497498418.0017

المؤلفون: María Julia Blas, Silvio Gonnet

المصدر: Engineering Science and Technology, an International Journal, Vol 24, Iss 1, Pp 22-34 (2021)

مصطلحات موضوعية: Discrete Event System Specification (DEVS), Computer-aided design, Model-driven engineering, Routed DEVS, Meta-modeling, Engineering (General). Civil engineering (General), TA1-2040

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2215098620342671; https://doaj.org/toc/2215-0986

URL الوصول: https://doaj.org/article/27b52c942b3249c990de8dc07198ea9d

المؤلفون: SAMUEL, Kehinde G., BOUARE, Nourou-Dine M., MAÏGA, Oumar, TRAORE, Mamadou Kaba

المصدر: crossref

مصطلحات موضوعية: High Level Language for Systems Specification (HiLLS), Discrete Event System Specification (DEVS), formal verification, temporal logic, model transformation, UPPAAL, Informatique [cs]/Modélisation et simulation

Relation: oai:crossref.org:10.1177/0037549720958056; https://oskar-bordeaux.fr/handle/20.500.12278/26791

الاتاحة: https://oskar-bordeaux.fr/handle/20.500.12278/26791
https://hdl.handle.net/20.500.12278/26791
https://doi.org/10.1177/0037549720958056

المؤلفون: Samuel, Kehinde, Maiga, Oumar, Traoré, Mamadou Kaba

المساهمون: African University of Science and Technology, Université des Sciences, des Techniques et des Technologies de Bamako (USTTB), Laboratoire de l'intégration, du matériau au système (IMS), Université Sciences et Technologies - Bordeaux 1 (UB)-Institut Polytechnique de Bordeaux-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISSN: 1793-9623.

مصطلحات موضوعية: multi-analysis modeling, Discrete Event System Specification (DEVS), model checking, discrete event simulation, High Level Language for Systems Specification (HiLLS), [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Relation: hal-02362628; https://hal.science/hal-02362628; https://hal.science/hal-02362628/document; https://hal.science/hal-02362628/file/Formal%20Verification%20HiLLS%20Models%20v13-09-2019.pdf

الاتاحة: https://hal.science/hal-02362628
https://hal.science/hal-02362628/document
https://hal.science/hal-02362628/file/Formal%20Verification%20HiLLS%20Models%20v13-09-2019.pdf
https://doi.org/10.1142/S1793962319500326

المؤلفون: Herguedas Pinedo, Beatriz

المساهمون: Risco Martín, José Luis, Besada Portas, Eva

مصطلحات موضوعية: 004(043.3), Monitorización de cianobacterias, Afloraciones de Algas Nocivas (HABs), Modelado y Simulación (M&S), Sistemas de Alerta Temprana (EWS), Especificación de Sistemas de Eventos Discretos (DEVS), Cyanobacteria monitoring, Harmful Algal and Cyanobacteria Blooms (HABs), Modeling and Simulation (M&S), Early Warning Systems (EWS), Discrete Event System Specification (DEVS), Informática (Informática), 1203.17 Informática

وصف الملف: application/pdf

Relation: https://github.com/iscar-ucm/devs-bloom-public; https://hdl.handle.net/20.500.14352/74044

الاتاحة: https://hdl.handle.net/20.500.14352/74044
https://github.com/iscar-ucm/devs-bloom-public

المؤلفون: Seon Choi, Kyung-Min Seo, Tag Kim

المصدر: Applied Sciences; Volume 7; Issue 10; Pages: 1056

مصطلحات موضوعية: system modeling, simulation analysis, simulation speedup, discrete event dynamic system, differential equation, discrete event system specification (DEVS)

جغرافية الموضوع: agris

وصف الملف: application/pdf

Relation: https://dx.doi.org/10.3390/app7101056

الاتاحة: https://doi.org/10.3390/app7101056

المؤلفون: Sol Ha, Ju-Hwan Cha, Myung-Il Roh, Kyu-Yeul Lee

المصدر: International Journal of Naval Architecture and Ocean Engineering, Vol 4, Iss 3, Pp 211-227 (2012)

مصطلحات موضوعية: Submarine diving simulation, Distributed simulation, High Level Architecture (HLA) interface, Run-Time Infrastructure (RTI), Discrete EVent System specification (DEVS), Ocean engineering, TC1501-1800, Naval architecture. Shipbuilding. Marine engineering, VM1-989

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2092678216303430; https://doaj.org/toc/2092-6782

URL الوصول: https://doaj.org/article/b02b38b16c844a05a46cfa74ca985f85

المؤلفون: Esteban San Román, Segundo, Chacón, Jesús, Risco-Martín, José Luis, Carazo Barbero, Gonzalo, Besada-Portas, Eva

المصدر: RUC. Repositorio da Universidade da Coruña
Universitat Oberta de Catalunya (UOC)

مصطلحات موضوعية: Discrete Event System Specification (DEVS), Model based design, Internet de las Cosas (IoT) Medioambiental (EIoT), Cianobacterias, Modelado, Cyanobacteria Blooms, Calidad de aguas, Environmental Internet of Things (EIoT), Water quality, Software deployment, Simulación, Despliegue de software, Simulation, Diseño basado en modelos

URL الوصول: https://explore.openaire.eu/search/publication?articleId=RECOLECTA___::e3b24fe22315fefafd9b0f7385ff1054
http://hdl.handle.net/2183/31333

المؤلفون: Segundo Esteban San Román, Jesús Chacón Sombría, José Luis Risco Martín, Gonzalo Carazo Barbero, Eva Besada Portas

مصطلحات موضوعية: Discrete Event System Specification (DEVS), Model based design, Internet de las Cosas (IoT) Medioambiental (EIoT), Cianobacterias, Modelado, Cyanobacteria Blooms, Calidad de aguas, Environmental Internet of Things (EIoT), Water quality, Software deployment, Simulación, Despliegue de software, Simulation, Diseño basado en modelos

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ef2f841017aa444df07e4c46a4683adf
https://hdl.handle.net/2183/31333

المؤلفون: Kone, Youssouf

المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Université Clermont Auvergne, Université du Mali, Mamadou Kaba Traoré, Ouaténi Diallo, STAR, ABES

المصدر: Modélisation et simulation. Université Clermont Auvergne; Université du Mali, 2021. Français. ⟨NNT : 2021UCFAC011⟩

مصطلحات موضوعية: Complex systems, Multi-Perspective Modeling & Holistic Simulation (MPM&HS), Ontology, Discrete Event System Specification (DEVS), System Entity Structure/Model Base (SES/MB), Urban transportation systems, Ontologie, Théorie du trafic routier, Urban traffic, Systèmes de transport urbain, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, High Level Language for System Specification (HiLLS), Systèmes complexes, Trafic urbain, Road traffic theory, Modeling and Simulation, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, Modélisation et Simulation

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a686ea51df19ce15a0524eaa9cf023c1
https://theses.hal.science/tel-03563886/file/2021UCFAC011_KONE.pdf

المؤلفون: Nourou-Dine M. Bouare, Oumar Maïga, Kehinde G. Samuel, Mamadou Kaba Traoré

المساهمون: African University of Science and Technology, Université des sciences, des techniques et des technologies de Bamako (USTTB), Laboratoire de l'intégration, du matériau au système (IMS), Centre National de la Recherche Scientifique (CNRS)-Institut Polytechnique de Bordeaux-Université Sciences et Technologies - Bordeaux 1, Université Sciences et Technologies - Bordeaux 1-Institut Polytechnique de Bordeaux-Centre National de la Recherche Scientifique (CNRS)

المصدر: SIMULATION
SIMULATION, SAGE Publications, 2020, 96 (12), pp.969-992
SIMULATION, SAGE Publications, In press, ⟨10.1177/0037549720958056⟩

مصطلحات موضوعية: DEVS, Computer science, Model transformation, 0211 other engineering and technologies, System verification, 02 engineering and technology, computer.software_genre, temporal logic, 0202 electrical engineering, electronic engineering, information engineering, Temporal logic, High Level Language for Systems Specification (HiLLS), formal verification, Formal verification, computer.programming_language, 021103 operations research, Programming language, Discrete Event System Specification (DEVS), model transformation, 020207 software engineering, Computer Graphics and Computer-Aided Design, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, UPPAAL, Formalism (philosophy of mathematics), Modeling and Simulation, computer, Software

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f02e82e23d1c12e404c9fd4e785b2e4
https://hal.archives-ouvertes.fr/hal-03178210

المؤلفون: Kone, Youssouf

المساهمون: Université Clermont Auvergne (2021-.), Université du Mali, Traoré, Mamadou Kaba, Diallo, Ouaténi

مصطلحات موضوعية: Systèmes de transport urbain, Trafic urbain, Théorie du trafic routier, Systèmes complexes, Ontologie, Modélisation et Simulation, Urban transportation systems, Urban traffic, Road traffic theory, Complex systems, Ontology, Modeling and Simulation, Discrete Event System Specification (DEVS), System Entity Structure/Model Base (SES/MB), High Level Language for System Specification (HiLLS), Multi-Perspective Modeling & Holistic Simulation (MPM&HS)

Relation: http://www.theses.fr/2021UCFAC011/document

الاتاحة: http://www.theses.fr/2021UCFAC011/document

المؤلفون: Kone, Youssouf

المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Université Clermont Auvergne, Université du Mali, Mamadou Kaba Traoré, Ouaténi Diallo

المصدر: https://theses.hal.science/tel-03563886 ; Modélisation et simulation. Université Clermont Auvergne; Université du Mali, 2021. Français. ⟨NNT : 2021UCFAC011⟩.

مصطلحات موضوعية: Road traffic theory, Complex systems, Ontology, Modeling and Simulation, Discrete Event System Specification (DEVS), System Entity Structure/Model Base (SES/MB), High Level Language for System Specification (HiLLS), Multi-Perspective Modeling & Holistic Simulation (MPM&HS), Urban transportation systems, Urban traffic, Systèmes de transport urbain, Trafic urbain, Théorie du trafic routier, Systèmes complexes, Ontologie, Modélisation et Simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Relation: NNT: 2021UCFAC011; tel-03563886; https://theses.hal.science/tel-03563886; https://theses.hal.science/tel-03563886/document; https://theses.hal.science/tel-03563886/file/2021UCFAC011_KONE.pdf

الاتاحة: https://theses.hal.science/tel-03563886
https://theses.hal.science/tel-03563886/document
https://theses.hal.science/tel-03563886/file/2021UCFAC011_KONE.pdf

المؤلفون: Shoupeng Han, Kedi Huang

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://cell-devs.sce.carleton.ca/citations/fulltext5.pdf.

مصطلحات موضوعية: Discrete Event System Specification (DEVS, Timed Transition System (TTS, Semantic Equivalence, Timed Automata (TA

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.302.1178; http://cell-devs.sce.carleton.ca/citations/fulltext5.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.302.1178
http://cell-devs.sce.carleton.ca/citations/fulltext5.pdf

المؤلفون: Alexander Verbraeck, Baohong Liu

المصدر: Simulation Modelling Practice and Theory, 70

مصطلحات موضوعية: 021103 operations research, Theoretical computer science, DEVS, Computer science, Granular computing, 0211 other engineering and technologies, System requirements specification, 0102 computer and information sciences, 02 engineering and technology, Quotient space (topology), 01 natural sciences, Modeling and simulation, 010201 computation theory & mathematics, Hardware and Architecture, Equivalence relation, Modeling and Simulation, Problem domain, Formal specification, Quotient set, Multi-resolution modeling (MRM), Resolution, Discrete-event system specification (DEVS), Algorithm, Software, Quotient

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::26bf937e4cfe47a7a49ad8d8ab3fad01
https://doi.org/10.1016/j.simpat.2016.10.004

المؤلفون: Oumar Maïga, Kehinde G. Samuel, Mamadou Traore

المساهمون: African University of Science and Technology, Université des sciences, des techniques et des technologies de Bamako (USTTB), Laboratoire de l'intégration, du matériau au système (IMS), Université Sciences et Technologies - Bordeaux 1-Institut Polytechnique de Bordeaux-Centre National de la Recherche Scientifique (CNRS)

المصدر: International Journal of Modeling, Simulation, and Scientific Computing
International Journal of Modeling, Simulation, and Scientific Computing, World Scientific Publishing, 2019, 10 (05), pp.1950032. ⟨10.1142/S1793962319500326⟩

مصطلحات موضوعية: discrete event simulation, Model checking, 021103 operations research, Cover (telecommunications), Computer science, Programming language, Discrete Event System Specification (DEVS), 0211 other engineering and technologies, Complex system, 020207 software engineering, 02 engineering and technology, Formal methods, computer.software_genre, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, model checking, Computer Science Applications, Automaton, multi-analysis modeling, Modeling and Simulation, 0202 electrical engineering, electronic engineering, information engineering, Feature (machine learning), Discrete event simulation, High Level Language for Systems Specification (HiLLS), computer, Formal verification

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::071a39aa19d99875976933cd6d3dfc3e
https://doi.org/10.1142/s1793962319500326

المؤلفون: Seddari, Noureddine

المساهمون: Université 20 Août 1955 Skikda, Université de Skikda, Mohamed Redjimi

المصدر: https://tel.archives-ouvertes.fr/tel-02055182 ; Modélisation et simulation. Université de Skikda, 2015. Français.

مصطلحات موضوعية: Modeling and simulation, Multi-Agent Systems (MAS), Industrial systems Complex systems, Discrete Event System Specification (DEVS), Atomic and coupled models, AGR (Agent/Group/Role), MAD-KIT, AALAADIN, Systèmes Industriels, Systèmes complexes, Systèmes Multi-Agents (SMA), Modélisation et Simulation, Discrete EVent systems Specification (DEVS), Modèles atomiques et couplés, AGR (Agent/Groupe/Rôle), [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Relation: tel-02055182; https://tel.archives-ouvertes.fr/tel-02055182; https://tel.archives-ouvertes.fr/tel-02055182/document; https://tel.archives-ouvertes.fr/tel-02055182/file/These_Seddari_2015.pdf

الاتاحة: https://tel.archives-ouvertes.fr/tel-02055182
https://tel.archives-ouvertes.fr/tel-02055182/document
https://tel.archives-ouvertes.fr/tel-02055182/file/These_Seddari_2015.pdf