OOO "Program Verification Systems"

Статья «Применение статического анализа при разработке программ» и статья «Применение технологии статического анализа кода при разработке параллельных программ» вышли в третьем номере журнала «Известия ТулГУ. Технические науки» за 2008 год.

Ознакомиться с электронными версиями статьей можно на нашем сайте.

В журнале рассматриваются научно-технические проблемы в области машиностроения и машиноведения, технологии и оборудование для обработки метолов давлением и резанием, моделирования сварочных процессов, вопросы транспорта, управления, вычислительной техники, информационных технологий и безопасности жизнедеятельности. Материалы предназначены для научных работников, преподавателей вузов, студентов и аспирантов, специализирующихся в области технических наук.