RUS
ENG
Full version
PEOPLE
Drozdova Ekaterina Alekseyevna
Publications in Math-Net.Ru
Simulation-based verification of system-on-chip bus controllers
Proceedings of ISP RAS
,
30
:4 (2018),
129–138
©
Steklov Math. Inst. of RAS
, 2026
