المؤلفون: Silva Melo, André Felipe, Roldán Fernández, Juan Manuel, González Longatt, Francisco, Burgos Payán, Manuel, Chemin Netto, Ulisses

المساهمون: Universidad de Sevilla. Departamento de Ingeniería Eléctrica, Universidad de Sevilla. TEP196: Sistemas de Energía Eléctrica, Junta de Andalucía

مصطلحات موضوعية: IEC 61850, Interchangeability, System engineering, System specification, Validation, Verification

Relation: Electric Power Systems Research, 232, 110409.; PROYEXCEL_00588; https://www.sciencedirect.com/science/article/pii/S0378779624002979; https://idus.us.es/handle//11441/157464

الاتاحة: https://idus.us.es/handle//11441/157464

المؤلفون: Giordy A. Andrade, Segundo Esteban, José L. Risco-Martín, Jesús Chacón, Eva Besada-Portas

المصدر: Information, Vol 15, Iss 5, p 267 (2024)

مصطلحات موضوعية: Internet of Things, early warning system, harmful algal and cyanobacterial bloom, model-based system engineering, Discrete Event System Specification, Information technology, T58.5-58.64

Relation: https://www.mdpi.com/2078-2489/15/5/267; https://doaj.org/toc/2078-2489; https://doaj.org/article/446a8985acd74539ad2b0aaa4279f0f3

الاتاحة: https://doi.org/10.3390/info15050267
https://doaj.org/article/446a8985acd74539ad2b0aaa4279f0f3

المؤلفون: Fonseca Casas, Pau, Ruiz Martin, Cristina

المساهمون: Universitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa, Universitat Politècnica de Catalunya. IMP - Information Modeling and Processing

مصطلحات موضوعية: Àrees temàtiques de la UPC::Matemàtiques i estadística::Estadística matemàtica::Anàlisi multivariant, Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica aplicada a les ciències, Multivariate analysis, Artificial intelligence, Cross-verification, Discrete event system specification, Formalism, Simulation, Specification and description language, Anàlisi multivariable, Intel·ligència artificial, Classificació AMS::62 Statistics::62H Multivariate analysis, Classificació AMS::68 Computer science::68T Artificial intelligence

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

Relation: Fonseca, P.; Ruiz, C. Building models in pairs for cross-verification using SDL and DEVS. "Advanced theory and simulations", 8 Abril 2024; http://hdl.handle.net/2117/406231

الاتاحة: http://hdl.handle.net/2117/406231
https://doi.org/10.1002/adts.202300839

المؤلفون: Kukovec, Jure

مصطلحات موضوعية: TLA+, SMT, formal verification, system specification, model checking, bounded model checking

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

الاتاحة: https://dx.doi.org/10.34726/hss.2025.128661
https://repositum.tuwien.at/handle/20.500.12708/209338

المؤلفون: Roussanaly, Victor, Falcone, Yliès

المساهمون: Compiler Optimization and Run-time Systems (CORSE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)

المصدر: TIME 2022 - 29th International Symposium on Temporal Representation and Reasoning ; https://inria.hal.science/hal-03911668 ; TIME 2022 - 29th International Symposium on Temporal Representation and Reasoning, Nov 2022, Online, France. pp.1-18, ⟨10.4230/LIPIcs.12⟩

مصطلحات موضوعية: 2012 ACM Subject Classification Theory of computation → Distributed computing models Theory of computation → Regular languages Theory of computation → Rewrite systems Theory of computation → Automata over infinite objects Computer systems organization → Real-time system specification phrases Timed expressions, Timed properties, Monitoring, Runtime verification, Decentralized systems, Asynchronous communication Digital Object Identifier 10.4230/LIPIcs.12, 2012 ACM Subject Classification Theory of computation → Distributed computing models, Theory of computation → Regular languages, Theory of computation → Rewrite systems, Theory of computation → Automata over infinite objects, Computer systems organization → Real-time system specification phrases Timed expressions, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

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

الاتاحة: https://inria.hal.science/hal-03911668
https://inria.hal.science/hal-03911668v1/document
https://inria.hal.science/hal-03911668v1/file/time22.pdf
https://doi.org/10.4230/LIPIcs.12

المؤلفون: María Julia Blas, Gonzalo E. Alvarez

المصدر: International Journal of Mathematical, Engineering and Management Sciences, Vol 7, Iss 2, Pp 166-175 (2022)

مصطلحات موضوعية: discrete-event simulation, electric power system, routed discrete event system specification, transmission lines, Technology, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://ijmems.in/cms/storage/app/public/uploads/volumes/11-IJMEMS-21-0518-7-2-166-175-2022.pdf; https://doaj.org/toc/2455-7749

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

المؤلفون: 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

المؤلفون: Agbonkhese Christopher, Funmilayo. A. Kasali

المصدر: Recent Trends in Information Technology and its Application, 6(2), 8-24, (2023-03-27)

مصطلحات موضوعية: System specification, vocational career, requirements, analysis, testing, ICT

Relation: https://zenodo.org/communities/compub; https://doi.org/10.5281/zenodo.7773135; https://doi.org/10.5281/zenodo.7773136; oai:zenodo.org:7773136

الاتاحة: https://doi.org/10.5281/zenodo.7773136

المؤلفون: 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

المؤلفون: Almendras, Luis, Campoy, Javier, Prado-Rujas, Ignacio-Iker, Risco-Martı́n, José L., Pérez, Marı́a S., Olcoz, Katzalin

مصطلحات موضوعية: complex systems, discrete event system specification, deep learning, solar irradiance, parallel and distributed simulation

Relation: https://zenodo.org/communities/js2022; https://doi.org/10.5281/zenodo.7075817; https://doi.org/10.5281/zenodo.7075818; oai:zenodo.org:7075818

الاتاحة: https://doi.org/10.5281/zenodo.7075818

المؤلفون: R.J. Cordes, Scott David, Daniel Friedman

مصطلحات موضوعية: Sensemaking, Mechanism Design, System Specification

Relation: https://doi.org/10.5281/zenodo.7093836; https://doi.org/10.5281/zenodo.7093837; oai:zenodo.org:7093837

الاتاحة: https://doi.org/10.5281/zenodo.7093837

المؤلفون: 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

المؤلفون: Roux, Pierre, Quinton, Sophie, Boyer, Marc

المساهمون: DTIS, ONERA, Université de Toulouse Toulouse, ONERA-PRES Université de Toulouse, Sound Programming of Adaptive Dependable Embedded Systems (SPADES), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), ARNRT-Proofs, European Project

المصدر: ECRTS 2022 - 34th Euromicro Conference on Real-Time Systems ; https://hal.science/hal-03770727 ; ECRTS 2022 - 34th Euromicro Conference on Real-Time Systems, Jul 2022, Modene, Italy. ⟨10.4230/LIPIcs.ECRTS.2022.5⟩

مصطلحات موضوعية: Response Time Analysis, Network Calculus, dense time, discrete time, response time, formal proof, Coq, Computer systems organization → Real-time system specification, Networks → Formal specifications, Software and its engineering → Formal methods, General and reference → Verification, [SPI]Engineering Sciences [physics]

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

الاتاحة: https://hal.science/hal-03770727
https://hal.science/hal-03770727v1/document
https://hal.science/hal-03770727v1/file/DTIS22153.pdf
https://doi.org/10.4230/LIPIcs.ECRTS.2022.5

المؤلفون: 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

المؤلفون: Bordón Ruiz, Juan B., López Orozco, José Antonio, Besada Portas, Eva

مصطلحات موضوعية: 004.8, Unmanned aerial vehicles, Cooperative-search, Genetic algorithm, Simulation, Optimization, Framework, Surveillance, Model, fire, air, Simulation in cloud, Discrete event system specification, Model-Based systems engineering, Bayesian search, Multi-objective path planning, Inteligencia artificial (Informática), 1203.04 Inteligencia Artificial

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

Relation: AMPBAS (RTI2018-098962- B-C21); IA-GES-BLOOM-CM (Y2020/TCS-6420); GCP19980904; http://dx.doi.org/10.1080/17477778.2022.2053311; https://www.tandfonline.com/; https://hdl.handle.net/20.500.14352/71440

الاتاحة: https://hdl.handle.net/20.500.14352/71440
https://doi.org/10.1080/17477778.2022.2053311
https://www.tandfonline.com/

المؤلفون: Zeigler, B.P.

المساهمون: Department of Electrical and Computer Engineering, University of Arizona

المصدر: Information (Switzerland)

مصطلحات موضوعية: DEVS, discrete event system specification, hierarchy of system specifications, metamodeling, modeling and simulation, system entity structure

Relation: Zeigler, B.P. Extending the Hierarchy of System Specifications and Morphisms with SES Abstraction. Information 2023, 14, 22. https://doi.org/10.3390/info14010022; http://hdl.handle.net/10150/673738; Information (Switzerland)

الاتاحة: http://hdl.handle.net/10150/673738
https://doi.org/10.3390/info14010022

المؤلفون: Jang Won Bae, Il-Chul Moon

المصدر: Systems; Volume 10; Issue 5; Pages: 174

مصطلحات موضوعية: modeling and simulation, practical formal method, multi-resolution, discrete event system specification

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

Relation: Complex Systems; https://dx.doi.org/10.3390/systems10050174

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

المؤلفون: 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

المؤلفون: Maksym Figat, Cezary Zielinski

المصدر: IEEE Access, Vol 8, Pp 71617-71627 (2020)

مصطلحات موضوعية: Robotic system specification methodology, robotic system design methodology, communication model, hierarchical petri net, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

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

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