Формальная спецификация на языке SDL уровня Lane стандарта SpaceFibre
стандарт SpaceFibre спецификация механизмы стандарта проверка работы уровня Lane
Программа представляет собой формальную спецификацию уровня Lane стандарта SpaceFibre на графическом языке SDL. Данная спецификация позволяет проверять механизмы стандарта на непротиворечивость и полноту описания. Также возможно проведение моделирования и проверки работы уровня Lane.
Обеспечения связи аппаратного обеспечения
Николай
Майоров
Николаевич
Директор института №1
Доктор технических наук
Доцент
-
56441377100
РОССИЯ
Юлия
Антохина
Анатольевна
Ректор ГУАП
РОССИЯ
50.41.25
Прикладное программное обеспечение
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
01.02.EW
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Владимир
Степанов
Евгеньевич
РОССИЯ
Ирина
Лавровская
Яковлевна
РОССИЯ
ГУАП,ФГАОУ ВО ГУАП,ФГАОУ ВО"САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ АЭРОКОСМИЧЕСКОГО ПРИБОРОСТРОЕНИЯ",САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ АЭРОКОСМИЧЕСКОГО ПРИБОРОСТРОЕНИЯ
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ АЭРОКОСМИЧЕСКОГО ПРИБОРОСТРОЕНИЯ"
1027810232680
ЮЛИЯ
АНТОХИНА
АНАТОЛЬЕВНА
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные автономные учреждения
ГУАП,ФГАОУ ВО ГУАП,ФГАОУ ВО"САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ АЭРОКОСМИЧЕСКОГО ПРИБОРОСТРОЕНИЯ",САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ АЭРОКОСМИЧЕСКОГО ПРИБОРОСТРОЕНИЯ
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ АЭРОКОСМИЧЕСКОГО ПРИБОРОСТРОЕНИЯ"
1027810232680
ЮЛИЯ
АНТОХИНА
АНАТОЛЬЕВНА
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные автономные учреждения