Nagibin, D., Petrenko, A., Davydenko, V., Kotenko, I., & Fedorchenko, E. (2025). Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах. Informatika i avtomatizaciâ (Online), 24(2), 526-555. https://doi.org/10.15622/ia.24.2.6
Citácia podle Chicago (17th ed.)Nagibin, Dmitry, Alexey Petrenko, Vladislav Davydenko, Igor Kotenko, a Elena Fedorchenko. "Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах." Informatika I Avtomatizaciâ (Online) 24, no. 2 (2025): 526-555. https://doi.org/10.15622/ia.24.2.6.
Citácia podľa MLA (8th ed.)Nagibin, Dmitry, et al. "Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах." Informatika I Avtomatizaciâ (Online), vol. 24, no. 2, 2025, pp. 526-555, https://doi.org/10.15622/ia.24.2.6.