Система комплексной
поддержки и сопровождения
научного журнала
+7 (499) 754-99-94
DOI / Crossref
Журналы на платформе
Порталы на платформе
Экспертиза сайта
Контакты
Поиск
Что мы предлагаем
Для кого
Что даёт
Почему ELPUB
Стоимость
База знаний
COVID-19
Нейроассистент
Искать
Журналов:
Статей:
Главная
Поиск
Фильтры
Выборка по ключевым словам
python
1
автоматизированные информационные системы
1
автономная верификация
1
валидация и верификация
1
верификация на основе моделирования
1
временные автоматы
1
интернет вещей
1
конвейер
1
логическая верификация аппаратуры
1
микропроцессор
1
непрерывное моделирование
1
потактово-точный симулятор
1
программная среда
1
программное моделирование
1
проектирование и моделирование
1
сети петри
1
системная верификация
1
тестовая система
1
функциональные и эксплуатационные требования
1
эльбрус
1
Выборка по автору
alexander valerianovitch samonov
1
alexey nikolaevich meshkov
1
filip filipovic
1
lazar živojinović
1
luka baljak
1
pavel alexeyevich poroshin
1
pavel viktorovich frolov
1
tamara naumovic
1
александр валерьянович самонов
1
алексей николаевич мешков
1
лазар живоинович
1
лука баляк
1
павел алексеевич порошин
1
павел викторович фролов
1
тамара наумович
1
филип филипович
1
Выборка по журналу
Выборка по дате публикации
Дополнительные фильтры
Всего найдено
4
Журнал
Удалить
Год публикации
Удалить
Ключевые слова
Удалить
Добавить фильтр
23.12.2019
Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов»
Александр Валерьянович Самонов
Труды Института системного программирования РАН
03.08.2019
Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров
Павел Викторович Фролов
Труды Института системного программирования РАН
03.08.2019
Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров “Эльбрус”
Павел Алексеевич Порошин; Алексей Николаевич Мешков
Труды Института системного программирования РАН
01.08.2019
Разработка программной среды для управления интеллектуальными устройствами в реальном времени
Тамара Наумович; Лука Баляк; Лазар Живоинович; Филип Филипович
Труды Института системного программирования РАН
Страница 1 из 1
1
Ваше имя
Название журнала
Телефон
Контактный email
Адрес сайта журнала (если есть)
Даю согласие на обработку моих персональных данных