RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Стотланд Ирина Аркадьевна
Публикации в базе данных Math-Net.Ru
Standalone verification of IOMMU with virtualization supporting
Труды ИСП РАН
,
31
:3 (2019),
77–84
Construction of validation modules based on reference functional models in a standalone verification of communication subsystem
Труды ИСП РАН
,
30
:3 (2018),
183–194
Verification of 10 Gigabit Ethernet controllers
Труды ИСП РАН
,
29
:4 (2017),
257–268
Approaches to stand-alone verification of multicore microprocessor caches
Труды ИСП РАН
,
28
:3 (2016),
161–172
©
МИАН
, 2024