Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Ushakova, M. S."'
Publikováno v:
Automatic Control & Computer Sciences; Dec2021, Vol. 55 Issue 7, p636-646, 11p
Autor:
Ushakova, M. S., Legalov, A. I.
Работа посвящена разработке архитектуры инструментальных средств для поддержки формальной верификации функционально-потоковых парал
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2425::7482a87792f46d7e2dcd408625bfd1e1
http://dspace.susu.ac.ru/xmlui/handle/0001.74/6500
http://dspace.susu.ac.ru/xmlui/handle/0001.74/6500
Autor:
Ushakova, M. S., Legalov, A. I.
Publikováno v:
Automatic Control & Computer Sciences; Dec2018, Vol. 52 Issue 7, p850-866, 17p