Публікація: Development of a method for synthesising models of real-time software systems
Вантажиться...
Дата
Автори
ORCID
DOI
Науковий ступінь
Рівень дисертації
Шифр та назва спеціальності
Рада захисту
Установа захисту
Науковий керівник/консультант
Члени комітету
Назва видання
ISSN
Назва тому
Видання
Impress
Анотація
Опис
Ключові слова
method for synthesising models, Petri nets, hierarchical modeling
Бібліографічний опис
Kuchuk N. G. Development of a method for synthesising models of real-time software systems / N. Kuchuk, A. Shyman, M. Shyman // Проблеми інформатизації = Problems of informatization : тези доп. 12-ї міжнар. наук.-техн. конф., 21-22 листопада 2024 р., м. Баку, м. Харків, м. Бельсько-Бяла : [у 3 т.]. Т. 2 / Нац. ун-т оборони Азерб. республіки [та ін.]. – Харків : [б. в.], 2024. – С. 142.