( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Mitigation of Single Event Upsets in the control logic of a charge equalizer for Li-ion batteries.

, , , , , и . IECON, стр. 6758-6763. IEEE, (2013)

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

 

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

Formal approaches to SEU testing in FPGAs., , и . AHS, стр. 209-216. IEEE, (2013)Formally Verifying Fault Tolerant System Designs., , и . Comput. J., 43 (3): 191-205 (2000)Modeling and generation of secure component communications in AUTOSAR., , , и . SAC, стр. 1473-1480. ACM, (2017)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)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)Exploiting Model Checking for Mobile Botnet Detection., , , и . KES, том 159 из Procedia Computer Science, стр. 963-972. Elsevier, (2019)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)