Вы здесь

Главная

Теоретико-автоматный подход к верификации реактивных систем

Автор: 
Чеботарев А. Н.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2001
Ключевые слова: 
верификация
система
Стр.: 
С.37-49
Библиография: 
Библиогр.: c.49
Источник: 
Кибернетика и системный анализ
Номер: 
6
Карточка: 

Б3.54.

Чеботарев А. Н..

Теоретико-автоматный подход к верификации реактивных систем// Кибернетика и системный анализ-2001, №6.-С.37-49
Библиогр.: c.49

Таблица в старой библиотеке: 
PAP24 388