31 - 40 из 64Размер страницы: 10
Сортировать по:: Год публикации
  1. 2019

  2. LabVIEW-based automatic verification of process-oriented software

    Liakh, T., Rozov, A. & Zyubin, V., 1 апр. 2019, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8729596. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

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

  3. Towards safe cyber-physical systems: The reflex language and its transformational semantics

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Schulte, H. & Zyubin, V., апр. 2019, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Stukach, O. (ред.). Institute of Electrical and Electronics Engineers Inc., 6 стр. 8729633. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

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

  4. Adaptation of the Process-Oriented Approach to the Development of Embedded Microcontroller Systems

    Rozov, A. S. & Zyubin, V. E., 1 мар. 2019, в: Optoelectronics, Instrumentation and Data Processing. 55, 2, стр. 198-204 7 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  5. Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators

    Lyakh, T. V., Zyubin, V. E. & Garanina, N. O., 1 мар. 2019, в: Optoelectronics, Instrumentation and Data Processing. 55, 2, стр. 189-197 9 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  6. Fast evaluation of tsunami waves heights around kamchatka and kuril islands

    Lavrentiev, M., Lysakov, K., Marchuk, A., Oblaukhov, K. & Shadrin, M., 1 февр. 2019, в: Science of Tsunami Hazards. 38, 1, стр. 1-13 13 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  7. Model-driven methods to design of reliable multiagent cyber-physical systems

    Staroletov, S., Shilov, N., Zyubin, V., Liakh, T., Rozov, A., Konyukhov, I., Shilov, I., Baar, T. & Schulte, H., 1 янв. 2019, в: CEUR Workshop Proceedings. 2478, стр. 74-91 18 стр.

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

  8. 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).

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

  9. Метод проверки гипотез на базе статистической обработки разнородных электроэнцефалографических данных

    Merkulova, E. A., Зюбин, В. Е. & Knyazev, G. G., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 1, стр. 61-71 11 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  10. 2018

  11. FPGA-based modelling of the tsunami wave propagation at South Japan water area

    Lysakov, K., Lavrentiev, M., Marchuk, A., Oblaukhov, K. & Shadrin, M., 4 дек. 2018, 2018 OCEANS - MTS/IEEE Kobe Techno-Oceans, OCEANS - Kobe 2018. Institute of Electrical and Electronics Engineers Inc., 5 стр. 8559365. (2018 OCEANS - MTS/IEEE Kobe Techno-Oceans, OCEANS - Kobe 2018).

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

  12. Edge position of object image in projecting noninvariant coherent optical system

    Chugui, Y. V., 13 нояб. 2018, в: Journal of Physics: Conference Series. 1065, 3, 032016.

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

Назад 1 2 3 4 5 6 7 Далее

ID: 3080771