Для цитирования:

Петроченков М.В., Муштаков Р.Е., Шпагилев Д.И. Верификация контроллеров связи в системах на кристалле. Труды Института системного программирования РАН. 2018;30(3):195-206. https://doi.org/10.15514/ISPRAS-2018-30(3)-14

For citation:

Petrochenkov M.V., Mushtakov R.E., Shpagilev D.I. Verification of System on Chip Integrated Communication Controllers. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(3):195-206. https://doi.org/10.15514/ISPRAS-2018-30(3)-14