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

Tatiana Liakh, Igor Anureev, Andrei Rozov, Natalia Garanina, Vladimir Zyubin

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

Fingerprint Подробные сведения о темах исследования «Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Математика

Физика и астрономия

General

Engineering

Life Sciences

Технические дисциплины и материаловедение

Экономика и предпринимательство