Electronic Documents Search

Documents found: 1

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

1