Skip navigation
Главная страница
Просмотр
Разделы и коллекции
Просмотр ресурсов по:
Даты випуска
Авторы
Заголовки
Тип
Кафедры
Справка
Войти
Мой архив ресурсов
Обновления на e-mail
Редактировать профиль
eONPUIR
Поиск
Поиск:
Весь архив электронных ресурсов
1. Періодичні видання національного університету "Одеська політехніка"
Applied Aspects of Information Technology = Прикладні аспекти інформаційних технологій
2019, Vol. 2, № 4
запрос
Текущие фильтры:
Название
Автор
Тема
по дате выпуска
Равно
Содержит
ID
Не равно
Не содержит
Не ID
Название
Автор
Тема
по дате выпуска
Равно
Содержит
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