Публікація: 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.