ОБЩАЯ КОНЦЕПЦИЯ И АРХИТЕКТУРА ПРОГРАММНОГО СРЕДСТВА ИНСТРУМЕНТАЛЬНОЙ ПОДДЕРЖКИ МЕТОДОВ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ
ОБЩАЯ КОНЦЕПЦИЯ И АРХИТЕКТУРА ПРОГРАММНОГО СРЕДСТВА ИНСТРУМЕНТАЛЬНОЙ ПОДДЕРЖКИ МЕТОДОВ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ
Описание
Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: Всероссийская научно-практическая конференция "Многоядерные процессоры, параллельное программирование, ПЛИС, системы обработки сигналов"; Барнаул; Барнаул