Safety for Branching Time Semantics | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1991

Ключевые слова:

семантика

программа

надежность

живучесть

моделирование

Стр.:

P.76-92.

Реферат:

Свойство надежности семантики программ.

Источник:

Lecture Notes in Computer Science

Том:

510

Карточка:

Б2.24.

Bouajjani A., Fernandez J., Graf S., Rodriguez C., Sifakis J..

Safety for Branching Time Semantics// Lecture Notes in Computer Science-1991.-Vol. 510.-P.76-92.

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

PAP2 511