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

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

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