Model-checking for Probabilistic Real-time Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Courcoubetis C.

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

1

Вид:

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

Год:

1991

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

верификация

параллельный

реальное время

Стр.:

P.115-126.

Реферат:

Метод верификации вероятностных систем реального времени.

Источник:

Lecture Notes in Computer Science

Том:

510

Карточка:

А3.45, Б2.4.

Alur R., Courcoubetis C., Dill D..

Model-checking for Probabilistic Real-time Systems// Lecture Notes in Computer Science-1991.-Vol. 510.-P.115-126.

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

PAP2 513