Заочные электронные конференции
 
     
Главная / Научные конференции / Современные наукоемкие технологии /
Системный подход к безопасности технологии верифицированного автоматизированного проектирования программ
Бочкарева Ю.Г., Клянчин В.К., Чижухин Г.Н.


Прочитать публикацию в формате PDF
123 Кб
Для чтения PDF необходима программа Adobe Reader
GET ADOBE READER

Библиографическая ссылка

Бочкарева Ю.Г., Клянчин В.К., Чижухин Г.Н. Системный подход к безопасности технологии верифицированного автоматизированного проектирования программ // Современные наукоемкие технологии .
URL: http://econf.rae.ru/article/675 (дата обращения: 27.04.2025).



Сертификат Получить сертификат

 © 2009 Российская Академия Естествознания
Служба технической поддержки - support@rae.ru