?

Детальная информация
Таблица Карточка RUSMARC
Название: Применение автоматизированной технологии верификации и тестирования на основе формальных спецификаций в разработке телекоммуникационных систем // Материалы...24 - 29 ноября 2003г. – 2004. – Факультет технической кибернетики. Факультет при ЦНИИ РТК. Институт интеллектуальных систем и технологий
Авторы: Карпов А.Н.; Котляров В.П.
Другие авторы: Глухов Владимир Викторович
Организация: Санкт-Петербургский государственный политехнический университет. Межвузовская научная-техническая конференция, Неделя науки (32; 2003; Санкт-Петербург); Совет СПбГПУ по научно-исследовательской работе студентов
Выходные сведения: Санкт-Петербург, 2004
Коллекция: Общая коллекция
Тематика: MSC; диаграммы взаимодействия; massage sequence charts; базовые протоколы
Тип документа: Статья, доклад
Тип файла: PDF
Язык: Русский
Права доступа: Свободный доступ из сети Интернет (чтение, печать, копирование)
Ключ записи: RU\SPSTU\edoc\7811

Разрешенные действия: Прочитать Загрузить (110 Кб)

Группа: Анонимные пользователи

Сеть: Интернет

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
-> Интернет Все Прочитать Печать Загрузить

Входит в состав

Санкт-Петербургский государственный политехнический университет. Межвузовская научная-техническая конференция, Неделя науки (32; 2003; Санкт-Петербург). Материалы...24 - 29 ноября 2003г. [Электронный ресурс] / Санкт-Петербургский государственный политехнический университет. Межвузовская научно-техническая конференция, Неделя науки (32; 2003; Санкт-Петербург); Совет СПбГПУ по научно-исследовательской работе студентов; Под общ. ред. В.В. Глухова. — Санкт-Петербург, 2004. — Электрон. версия печ. публикации 2004. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0.

Санкт-Петербургский государственный политехнический университет. Межвузовская научная-техническая конференция, Неделя науки (32; 2003; Санкт-Петербург). Материалы...24 - 29 ноября 2003г. [Электронный ресурс] / Санкт-Петербургский государственный политехнический университет. Межвузовская научно-техническая конференция, Неделя науки (32; 2003; Санкт-Петербург); Совет СПбГПУ по научно-исследовательской работе студентов; Под общ. ред. В.В. Глухова. — Санкт-Петербург, 2004. Факультет технической кибернетики. Факультет при ЦНИИ РТК. Институт интеллектуальных систем и технологий [Электронный ресурс]. — Ч. 5. — Электрон. текстовые дан. (161 файлов; 15,84 Мб), 2004. — Электрон. версия печ. публикации 2004. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader4,0. — <URL:http://elib.spbstu.ru/dl/841.pdf>.

Статистика использования

stat Количество обращений: 1044
За последние 30 дней: 4
Подробная статистика