( 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.

Cinzia Ghirardo

Cinzia Cester

Cinzia Dal Zotto

Vera Cinzia Volckens

 

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

A framework for FMI-based co-simulation of human-machine interfaces., , и . Softw. Syst. Model., 19 (3): 601-623 (2020)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)Modeling and generation of secure component communications in AUTOSAR., , , и . SAC, стр. 1473-1480. ACM, (2017)Formally Verifying Fault Tolerant System Designs., , и . Comput. J., 43 (3): 191-205 (2000)Formal approaches to SEU testing in FPGAs., , и . AHS, стр. 209-216. IEEE, (2013)SEU-X: A SEu un-excitability prover for SRAM-FPGAs., , и . IOLTS, стр. 25-30. IEEE Computer Society, (2012)Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors., , , и . SEFM Workshops, том 12226 из Lecture Notes in Computer Science, стр. 3-19. Springer, (2019)Verifying Data Secure Flow in AUTOSAR Models by Static Analysis., , , и . ICISSP, стр. 704-713. SciTePress, (2017)Using Smartwatch Sensors to Support the Acquisition of Sleep Quality Data for Supervised Machine Learning., , , и . MobiHealth, том 192 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 251-259. Springer, (2016)ROS/Gazebo Based Simulation of Co-operative UAVs., , , , и . MESAS, том 11472 из Lecture Notes in Computer Science, стр. 321-334. Springer, (2018)