20172019

Результат исследований по году

Если Вы внесли какие-либо изменения в Pure, они скоро будут видимы здесь.

Fingerprint Узнайте самые подробные результаты анализа активности Татьяна Викторовна Лях. Указанные в этом разделе метки относятся к работам этого человека. Вместе они формируют уникальную картину активности.

  • 3 Аналогичные профили

Сеть Последние внешние коллаборации на уровне страны. Узнайте подробнее, нажав точки.

Результат исследований

  • 6 статья в сборнике материалов конференции
  • 2 статья
  • 1 статья по материалам конференции

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 стр.

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

  • 2 Цитирования (Scopus)

    Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems

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

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

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

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

  • 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 стр.

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

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

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Schulte, H. & Zyubin, V., 1 апр 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).

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