( en | de | ru )

 

Disambiguierung von "Bernardeschi, Cinzia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Modeling and Simulation of Attacks on Cyber-physical Systems.

, , und . ICISSP, Seite 700-708. SciTePress, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Cinzia Ghirardo

Cinzia Cester

Vera Cinzia Volckens

Cinzia Dal Zotto

 

Weitere Publikationen von Autoren mit dem selben Namen

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