Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

расширенный поиск

Correctness of Control Systems with Concurrenсy Behavior

Cheremisinova, L., Cheremisinov, D., Черемисинова, Л. Д., Черемисинов, Д. И.

Дата публикации: 2021

Дата публикации в реестре: 2024-03-01T13:35:15Z

Аннотация:
Ключевые слова:
материалы конференций, conference proceedings, concurrent algorithm, hardware verification, test pattern, simulation, PRALU language

Тип: Статья

Связанные документы (рекомендация CORE)

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core