From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica., , , , , , и . Requir. Eng., 27 (1): 1-30 (2022)A social media-based over layer on the edge for handling emergency-related events., , , и . Comput. Electr. Eng., 96 (Part): 107570 (2021)Reliability analysis of an Attitude Determination and Control System (ADCS) through the RAMSAS method., , , и . J. Comput. Sci., 5 (3): 439-449 (2014)PROCE: an agent-based PROcess Composition and execution Environment., , и . WOA, том 741 из CEUR Workshop Proceedings, стр. 171-174. CEUR-WS.org, (2011)From the detection towards a pyramidal classification of terrorist propaganda., , и . J. Inf. Secur. Appl., (декабря 2023)Enhancing the RAMSAS Method for System Reliability Analysis - An Exploitation in the Automotive Domain., и . SIMULTECH, стр. 328-333. SciTePress, (2012)An IoT-based context-aware model for danger situations detection., , и . Comput. Electr. Eng., 96 (Part): 107571 (2021)On the simulation of smart grid environments., , и . SummerSim, стр. 17:1-17:12. ACM, (2019)Modeling of system properties: Research challenges and promising solutions., и . ISSE, стр. 324-331. IEEE, (2015)On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution., , , , , , , , , и 1 other автор(ы). ISSE, стр. 1-8. IEEE, (2016)