СПЕЦИФИКАЦИЯ СЕТЕВЫХ ПРОТОКОЛОВ СРЕДСТВАМИ ЯЗЫКА ТАБЛИЦ СОБЫТИЙ

Апраксин, Ю.К., Севастопольский национальный технический университет

Дата: 2000

Предлагается формальная методика спецификации протоколов распределен- ных систем, обладающая преимуществами словесно-описательных методов.

Программирование

Файлы в этом документе

Имя: Inform.31.2000.4-8.pdf

Размер: 130.2Kb

Формат: PDF