Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

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

инструмент

Стр.:

P.70-78

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

Bibliogr.: p.78

Источник:

SIGPLAN Notices

Номер:

11

Том:

30

Карточка:

Б3.33, Б3.5.

Campos S., Clarke E., Marrero W., Minea M..

Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems// SIGPLAN Notices-1995, №11.-Vol. 30.-P.70-78
Bibliogr.: p.78

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

ACM4 791