( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A framework for FMI-based co-simulation of human-machine interfaces.

, , и . Softw. Syst. Model., 19 (3): 601-623 (2020)

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

Vera Cinzia Volckens

Cinzia Dal Zotto

 

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

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)A framework for FMI-based co-simulation of human-machine interfaces., , и . Softw. Syst. Model., 19 (3): 601-623 (2020)Modeling and generation of secure component communications in AUTOSAR., , , и . SAC, стр. 1473-1480. ACM, (2017)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)Demo: An On-line Supervisor for the Line Follower Robot., , , и . SMARTCOMP, стр. 180-182. IEEE, (2022)Exploiting Model Checking for Mobile Botnet Detection., , , и . KES, том 159 из Procedia Computer Science, стр. 963-972. Elsevier, (2019)ROS/Gazebo Based Simulation of Co-operative UAVs., , , , и . MESAS, том 11472 из Lecture Notes in Computer Science, стр. 321-334. Springer, (2018)