Авторитетность издания
ВАК - К1
RSCI, ядро РИНЦ
Добавить в закладки
Следующий номер на сайте
№1
Ожидается:
16 Марта 2024
Ключевое слово: процессная семантика
- Процессная семантика языков распределенного программирования Авторы статьи: Кораблин Ю.П., Кучугуров И.В.
- Вопросы эквивалентности схем параллельных программ Авторы статьи: Кораблин Ю.П., Кучугуров И.В., Косакян М.Л.
- Разработка инструментов верификации драйверов на основе семантических моделей Авторы статьи: Кораблин Ю.П., Павлов Е.Г.
