Верификация программ: состояние, проблемы, результаты. II (начало см.. в №6, 2013)

Крывый С.Л., Максимец А.Н.
Верификация программ: состояние, проблемы, результаты. II (начало см.. в №6, 2013)

Вид документа: Стаття періодичного видання
Рiк видання: 2014
Автор: Крывый С.Л., Максимец А.Н. Авторський знак: К85 Вид автора: персона
Мова: Російська Обсяг: С.11-20
Шифр: 519.7 УДК: 519.7

Аннотацiя:

верификация, абстрактные интерпретации, традиционные системы, сети Петри, верификация на моделях

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