( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modeling and Simulation of Attacks on Cyber-physical Systems.

, , и . ICISSP, стр. 700-708. SciTePress, (2019)

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.

Nunzia Palmieri

Paolo Palmieri

Maurizio Podda

Maurizio Zanazzi

Maurizio Venturini

 

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

A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems., , и . STAF Workshops, том 11176 из Lecture Notes in Computer Science, стр. 21-33. Springer, (2018)Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks., , , , , , и . SEFM Workshops, том 12226 из Lecture Notes in Computer Science, стр. 50-66. Springer, (2019)A framework for FMI-based co-simulation of human-machine interfaces., , и . Softw. Syst. Model., 19 (3): 601-623 (2020)Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps., , , , , , , , , и . Int. J. Softw. Tools Technol. Transf., 24 (6): 999-1024 (2022)Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator., , и . STAF Workshops, том 11176 из Lecture Notes in Computer Science, стр. 34-44. Springer, (2018)Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle., , и . SEFM Workshops, том 10729 из Lecture Notes in Computer Science, стр. 300-314. Springer, (2017)Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps., , , , , и . FMICS, том 12863 из Lecture Notes in Computer Science, стр. 3-20. Springer, (2021)A Prototyping Process for Medical Devices and Systems., , и . STAF Workshops, том 2999 из CEUR Workshop Proceedings, стр. 115-124. CEUR-WS.org, (2021)Automatic Generation of Functional Mock-Up Units from Formal Specifications., и . SEFM Workshops, том 12226 из Lecture Notes in Computer Science, стр. 27-33. Springer, (2019)Verifying Data Secure Flow in AUTOSAR Models by Static Analysis., , , и . ICISSP, стр. 704-713. SciTePress, (2017)