المؤلفون: Trinh Thanh-Binh, Nguyen Hanh-Phuc, Nguyen Dinh-Hai, To Van-Khanh, Truong Ninh-Thuan

المصدر: Cybernetics and Information Technologies, Vol 24, Iss 1, Pp 82-97 (2024)

مصطلحات موضوعية: checking tool, event-based systems, runtime verification, temporal constraints, Cybernetics, Q300-390

وصف الملف: electronic resource

العلاقة: https://doaj.org/toc/1314-4081Test

الوصول الحر: https://doaj.org/article/715323db5fe44ba9913cff531781d7c2Test

المؤلفون: Gómez-Martínez, Elena, Requeno, José Ignacio

المساهمون: UAM. Departamento de Ingeniería Informática

مصطلحات موضوعية: Petri net, Product line, Runtime verification, Informática

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

العلاقة: Ceur Workshop Proceedings; June 21, 2022; 43; Bergen (Norway); PNSE’22: International Workshop on Petri Nets and Software Engineering; Gobierno de España. RTI2018- 093608-B-C31; Gobierno de España. RTI2018-095255-B-I00; Comunidad de Madrid. S2018/TCS-4314; PNSE’22: International Workshop on Petri Nets and Software Engineering, Bergen, June 21 of 2022; http://hdl.handle.net/10486/711471Test

الإتاحة: http://hdl.handle.net/10486/711471Test

المؤلفون: Yang Liu, Jiankun Li

المصدر: Big Data and Cognitive Computing, Vol 8, Iss 5, p 49 (2024)

مصطلحات موضوعية: intelligent warehouse, multi-robot systems, multi-agent reinforcement learning, runtime verification, Technology

وصف الملف: electronic resource

العلاقة: https://www.mdpi.com/2504-2289/8/5/49Test; https://doaj.org/toc/2504-2289Test

الوصول الحر: https://doaj.org/article/95f7b9b51f194aa79a901c85982dd5a2Test

المؤلفون: Chai, Ming, Zhang, Xinyi, Schlingloff, Holger, Tang, Tao, Liu, Hongjie

مصطلحات موضوعية: Hazard prediction, Hybrid automata, Runtime verification, Safety of train operations

العلاقة: Reliability engineering & system safety; https://publica.fraunhofer.de/handle/publica/462862Test

الإتاحة: https://doi.org/10.1016/j.ress.2023.109621Test
https://publica.fraunhofer.de/handle/publica/462862Test

المؤلفون: Kauffman, Sean, Zimmermann, Martin

المصدر: Kauffman , S & Zimmermann , M 2024 , ' The complexity of evaluating nfer ' , Science of Computer Programming , vol. 231 , no. 103012 , 103012 . https://doi.org/10.1016/j.scico.2023.103012Test

مصطلحات موضوعية: Complexity, Interval logic, Runtime verification

العلاقة: https://vbn.aau.dk/da/publications/cb4b741f-8f80-45f5-b7b6-6cbc3b4b8a4dTest

الإتاحة: https://doi.org/10.1016/j.scico.2023.103012Test
https://vbn.aau.dk/da/publications/cb4b741f-8f80-45f5-b7b6-6cbc3b4b8a4dTest
http://www.scopus.com/inward/record.url?scp=85169977590&partnerID=8YFLogxKTest

المؤلفون: Selvaratnam, Daniel, Cantoni, Michael, Davoren, J.M., Shames, Iman

المصدر: Theoretical Computer Science. 897:135-163

مصطلحات موضوعية: MITL, Runtime verification, Dense-time, Continuous, Trace, Root isolation, Datalogi, Computer Science

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-318614Test
https://doi.org/10.1016/j.tcs.2021.10.024Test

المؤلفون: Luis Miguel Danielsson, Cesar Sanchez

المصدر: IEEE Access, Vol 11, Pp 84091-84112 (2023)

مصطلحات موضوعية: Decentralized monitoring, distributed, runtime verification, stream runtime verification, time asynchronous networks, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

العلاقة: https://ieeexplore.ieee.org/document/10190568Test/; https://doaj.org/toc/2169-3536Test

الوصول الحر: https://doaj.org/article/62383b7c98064dfd96a4bb4c78eca047Test

المؤلفون: Ingrand, Félix

المساهمون: Équipe Robotique et InteractionS (LAAS-RIS), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)

المصدر: https://laas.hal.science/hal-04502274Test ; 2024.

مصطلحات موضوعية: acting, robotic skills programming, formal verification, model checking, runtime verification, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], [SPI.AUTO]Engineering Sciences [physics]/Automatic

العلاقة: info:eu-repo/semantics/altIdentifier/arxiv/2403.07770; hal-04502274; https://laas.hal.science/hal-04502274Test; https://laas.hal.science/hal-04502274/documentTest; https://laas.hal.science/hal-04502274/file/main.pdfTest; ARXIV: 2403.07770

الإتاحة: https://laas.hal.science/hal-04502274Test
https://laas.hal.science/hal-04502274/documentTest
https://laas.hal.science/hal-04502274/file/main.pdfTest

المؤلفون: Dawes, Joshua

المساهمون: Reger, Giles

مصطلحات موضوعية: Static Analysis, Performance Analysis, Runtime Verification, Dynamic Analysis

الوصول الحر: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.833037Test

المؤلفون: Nandi, Giann, Pereira, David, Proenca, José, Santos, José, Rodrigues, Lourenço A., Lourenço, André, Tovar, Eduardo

المساهمون: Repositório Científico do Instituto Politécnico do Porto

مصطلحات موضوعية: Safety, Security, Runtime Verification, ROS2, Micro-ROS

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

الإتاحة: http://hdl.handle.net/10400.22/21740Test