Skip navigation
Главная страница
Просмотр
Разделы и коллекции
Просмотр ресурсов по:
Даты випуска
Авторы
Заголовки
Тип
Кафедры
Справка
Войти
Мой архив ресурсов
Обновления на e-mail
Редактировать профиль
eONPUIR
Поиск
Поиск:
Весь архив электронных ресурсов
1. Періодичні видання національного університету "Одеська політехніка"
Applied Aspects of Information Technology = Прикладні аспекти інформаційних технологій
2019, Vol. 2, № 4
запрос
Текущие фильтры:
Название
Автор
Тема
по дате выпуска
Равно
Содержит
ID
Не равно
Не содержит
Не ID
Начать новый поиск
Добавить фильтры:
Используйте фильтры для уточнения результатов поиска.
Название
Автор
Тема
по дате выпуска
Равно
Содержит
ID
Не равно
Не содержит
Не ID
Результаты 1-1 из 1.
назад
1
дальше
Найденные ресурсы:
Дата выпуска
Название
Автор(ы)
7-Окт-2019
Behavioral Verefication of Internet of Things Systems by Petri Nets
Martynyuk, Oleksandr
;
Мартинюк, Олександр Миколайович
;
Мартынюк, Александр Николаевич
;
Drozd, Oleksandr
;
Дрозд, Олександр Валентинович
;
Дрозд, Александр Валентинович
;
Nesterenko, Sergey
;
Нестеренко, Сергій Анатольевич
;
Нестеренко, Cергей Анатольевич
;
Tamem Ahmesh
;
Тамем Ахмеш
Просмотр
Автор
1
Ahmesh, Tamem
1
Drozd, Oleksandr
1
Martynyuk, Oleksandr Nikolaevich
1
Nesterenko, Sergey
1
Ахмеш, Тамем
1
Дрозд, Александр Валентинович
1
Дрозд, Олександр Валентинович
1
Мартинюк, Олександр Миколайович
1
Мартынюк, Александр Николаевич
1
Нестеренко, Cергей Анатольевич
.
дальше >
Тема
1
behavioral verification;
1
Internet of things;
1
Petri net;
1
мережа Петрі;
1
поведенческая верификация;
1
поведінкова верифікація;
1
покриття перевіряються властивостей;
1
покрытие проверяемых свойств;
1
сеть Петри;
1
системи Інтернет речей;
.
дальше >
по дате выпуска
1
2019