Зарегистрироваться
Восстановить пароль
FAQ по входу

Дубинин В.Н., Зинкин С.А. Спецификация и верификация процессов обмена информацией в вычислительных системах и сетях

  • Файл формата pdf
  • размером 61,38 МБ
  • Добавлен пользователем
  • Отредактирован
Дубинин В.Н., Зинкин С.А. Спецификация и верификация процессов обмена информацией в вычислительных системах и сетях
Учебное пособие, Пенза: Изд-во Пенз. политехн. ин-та. – 1992. – 95 с.
Рассматриваются практические методы спецификации (описания) и верификации параллельных процессов передачи информации в вычислительных системах, сетях и комплексах. Изложение базируется на прикладной системе моделирования СИМС, разработанной авторами. Представлено определение сетевого формализма и даны методы представления сетевых моделей. Приведена методика проектирования, а также примеры спецификации и верификации реальных систем. В пособии отражен опыт авторов, принимавших участие в проектировании реальных вычислительных сетей. Учебное пособие подготовлено на кафедре "Вычислительная техника" и предназначено для студентов специальности 22.01 (230101), изучающих дисциплины "Вычислительные комплексы, системы и сети", "Прикладная математика", "Моделирование".
Глава
1. Сетевой формализм для структурного проектирования вычислительных систем и сетей.
Глава
2. Система структурного проектирования вычислительных систем и сетей.
Глава
3. Спецификация и верификация протоколов связи в вычислительных сетях.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация