Методика разработки и средства формализации функциональных спецификаций систем и устройств

Годлевский А.Б. и др
Методика разработки и средства формализации функциональных спецификаций систем и устройств

Вид документа: Стаття періодичного видання
Рiк видання: 2016
Автор: Годлевский А.Б. и др Авторський знак: Г59 Вид автора: персона
Мова: Російська Обсяг: С.25-42
Шифр: 519.7 УДК: 519.7

Аннотацiя:

функциональная спецификация, поведенческая модель, формальная спецификация систем и устройств, языковой процессор

Є складовою частиною документа: Кибернетика и системный анализ