Interactively Verifying a Simple Real-time Scheduler | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

диалоговый

верификация

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

планирование

Стр.:

P.395-408.

Библиография:

Bibliogr.: p.408.

Источник:

Lecture Notes in Computer Science

Том:

939

Карточка:

А3.45, Б2.23.

Fidge C., Kearney P., Utting M..

Interactively Verifying a Simple Real-time Scheduler// Lecture Notes in Computer Science-1995.-Vol. 939.-P.395-408.
Bibliogr.: p.408.

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

PAP12 426