Timing Analysis of Ada Tasking Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1996

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

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

программа

верификация

гибридный

Стр.:

P.461-483.

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

Bibliogr.: p.482-483.

Источник:

IEEE Trans. on Software Engineering

Номер:

7

Том:

22

Карточка:

Б3.33, Б3.5.

Corbett J. C..

Timing Analysis of Ada Tasking Programs// IEEE Trans. on Software Engineering-1996, №7.-Vol. 22.-P.461-483.
Bibliogr.: p.482-483.

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

PAP15 649