Electronic Documents Search

Documents found: 2

1

Применение автоматизированной технологии верификации и тестирования на основе формальных спецификаций в разработке телекоммуникационных систем // Материалы...24 - 29 ноября 2003г. – 2004. – Факультет технической кибернетики. Факультет при ЦНИИ РТК. Институт интеллектуальных систем и технологий. — Ч.5

Creators	Карпов А. Н.; Котляров В. П.
Other creators	Глухов Владимир Викторович
Organization	Санкт-Петербургский государственный политехнический университет. Межвузовская научная-техническая конференция, Неделя науки (32; 2003; Санкт-Петербург); Совет СПбГПУ по научно-исследовательской работе студентов
Imprint	Санкт-Петербург, 2004
Collection	Общая коллекция
Subjects	MSC; диаграммы взаимодействия; massage sequence charts; базовые протоколы
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 110 Kb

Исследование параметров модельных ступеней кафедра КВХТ для идентификации математической модели потерь // XXXVI неделя науки СПбГПУ: материалы Всероссийской межвуз. науч.-техн. конф. студентов и аспирантов, 26 ноября - 1 декабря 2007 г. Санкт-Петербург. – 2008. – Электромеханический факультет. Энергомашиностроительный факультет. — Ч. 2

Creators	Карпов А. Н.; Галеркин Ю. Б.; Кожухов Ю. В.
Other creators	Рудской Андрей Иванович; Арсеньев Д. Г.; Глухов Владимир Викторович
Organization	Санкт-Петербургский государственный политехнический университет; Совет СПбГПУ по научно-исследовательской работе студентов
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2008
Collection	Общая коллекция
Subjects	центробежные компрессоры; проектирование
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 157 Kb

1