Behavioral Verification of Internet of Things Systems by Petri Nets

Martynyuk, O. N.; Drozd, O. V.; Nesterenko, A. S.; Ahmesh, T.


	Наукова періодика України		Applied aspects of information technology

Martynyuk O. N.
Behavioral Verification of Internet of Things Systems by Petri Nets / O. N. Martynyuk, O. V. Drozd, A. S. Nesterenko, T. Ahmesh // Applied aspects of information technology. - 2019. - Vol. 2, no 4. - С. 295-303. - Режим доступу: http://nbuv.gov.ua/UJRN/aait_2019_2_4_6

Повний текст PDF - 582.615 Kb

Зміст випуску Google Scholar

Цитування публікації

Цитованість авторів публікації:

Бібліографічний опис для цитування:

Martynyuk O. N. Behavioral Verification of Internet of Things Systems by Petri Nets / O. N. Martynyuk, O. V. Drozd, A. S. Nesterenko, T. Ahmesh // Applied aspects of information technology. - 2019. - Vol. 2, no 4. - С. 295-303. - Режим доступу: http://nbuv.gov.ua/UJRN/aait_2019_2_4_6.

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

Дрозд Олена Володимирівна (технічні науки)

Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача