Для цитирования:
ЕГИАЗАРЯН А.В., ЧУРКИН Я.А., ЧЕРНЯВСКИХ И.И., КОЦЫНЯК А.М., КИТАЕВ К.Н., БУЧАЦКИЙ Р.А., КАМКИН А.С., КОРШУНОВ А.В., ПЕРЕВЕРЗЕВ А.Л. Статический анализ модели подсистемы питания цифровой аппаратуры. Труды Института системного программирования РАН. 2026;38(3):45-70. https://doi.org/10.15514/ISPRAS-2026-38(3)-3
For citation:
YEGHIAZARYAN A.V., CHURKIN Ya.A., CHERNYAVSKIKH I.I., KOTSYNYAK A.M., KITAEV K.N., BUCHATSKIY R.A., KAMKIN A.S., KORSHUNOV A.V., PEREVERZEV A.L. Static Analysis of Power Intent in Integrated Circuits. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2026;38(3):45-70. (In Russ.) https://doi.org/10.15514/ISPRAS-2026-38(3)-3
Послать статью по эл. почте 