Towards safe embedded systems: Industrialc translational semantics for avr microcontrollers^∗

Rozov, A., Anureev, I., Garanina, N., Liakh, T. & Zyubin, V., окт. 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., стр. 857-861 5 стр. 8958258. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Two-Step Deductive Verification of Control Software Using Reflex

Anureev, I., Garanina, N., Liakh, T., Rozov, A., Zyubin, V. & Gorlatch, S., 1 янв. 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 50-63 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Use of Computer Methods for Analyzing Brain Signals to Assess the Success of Adaptation of Labor Migrants to Extreme Climate Conditions

Milakhina, N., Karpova, A., Astakhova, T. & Savostyanov, A., 30 июн. 2021, 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials, EDM 2021 - Proceedings. IEEE Computer Society, стр. 577-581 5 стр. 9507608. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM; том 2021-June).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Using PCA Machine Learning Approach Based on Psychological Questionnaires and Spectral Characteristics of the EEG to Separate the Healthy Participants and Participants with Major Depressive Disorder

Merkulova, E. A., Kozulin, I. A., Savostyanov, A. N., Bocharov, A. V. & Privodnova, E. Y., 2023, 24th IEEE International Conference of Young Professionals in Electron Devices and Materials, EDM 2023; Novosibirsk; Russian Federation; 29 June 2023 до 3 July 2023. Institute of Electrical and Electronics Engineers (IEEE), стр. 1740-1745 6 стр.

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Utilizing Lexicographic Resources for Sentiment Classification in Uzbek Language

Mengliev, D. B., Akhmedov, E. Y., Barakhnin, V. B., Hakimov, Z. A. & Alloyorov, O. M., 2023, Proceedings of the 2023 IEEE 16th International Scientific and Technical Conference Actual Problems of Electronic Instrument Engineering, APEIE 2023. Institute of Electrical and Electronics Engineers (IEEE), стр. 1720-1724 5 стр.

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Verification of industrial control algorithms in virtual laboratory stands

Liakh, T. & Zyubin, V., 2017, 29th European Modeling and Simulation Symposium, EMSS 2017, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2017. CAL-TEK S.r.l., стр. 380-384 5 стр.

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование