इसका टेक्स्ट मैसेज भेजे: Подход к автоматизации формальной верификации модулей системного обмена микропроцессоров; Современные техника и технологии; Т. 2