Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ФНКЦ РР
Главная
Поиск
Статистика
О проекте
Помощь
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
журнал
Индексирование: Scopus (1 января 2018 г.-31 декабря 2018 г.), Emerging Sources Citation Index (1 января 2017 г.-)
Период активности журнала: не указан
ISSN:
2075-2180
Статьи, опубликованные в журнале
2021
Statistical Model Checking of Common Attack Scenarios on Blockchain
Fedotov I.A.
,
Khritankov A.S.
в журнале
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
, том 342, с. 65-77
DOI
2021
Statistical Model Checking of Common Attack Scenarios on Blockchain
Fedotov Ivan,
Khritankov Anton
в журнале
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
, том 342, с. 65-77
DOI
2017
Software Model Checking of Linux Device Drivers
Khoroshilov Alexey
в журнале
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
, том 253, с. 7-8
DOI