Вы здесь

State-Based Model Checking of Event-Driven System Requirements

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1991
Стр.: 
P.16-28.
Реферат: 
Проверка модели требований системы, управляемой прерываниями.
Библиография: 
Bibliogr.: p.28.
Где проводился: 
Источник: 
Номер: 
5
Том: 
16
Форум: 
Карточка: 

Б2.4, В4.24.

Atlee J., Gannon J..

State-Based Model Checking of Event-Driven System Requirements// Software Engineering Notes-1991, №5.-Vol. 16.-P.16-28.
Bibliogr.: p.28.

Таблица в старой библиотеке: 
ACM1 503