ОБЩАЯ КОНЦЕПЦИЯ И АРХИТЕКТУРА ПРОГРАММНОГО СРЕДСТВА ИНСТРУМЕНТАЛЬНОЙ ПОДДЕРЖКИ МЕТОДОВ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: Всероссийская научно-практическая конференция "Многоядерные процессоры, параллельное программирование, ПЛИС, системы обработки сигналов"; Барнаул; Барнаул

Год издания: 2013

Ссылки на полный текст

Издание

Журнал: Многоядерные процессоры, параллельное программирование, ПЛИС, системы обработки сигналов

Номера страниц: 113-116

Издатель: Алтайский государственный университет

Персоны

Кропачева М.С. (Сибирский федеральный университет)

Вхождение в базы данных

РИНЦ (eLIBRARY.RU)

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.