Time-Optimal Real-Time Test Case Generation Using UPPAAL | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2004

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

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

генерация

Стр.:

P.114-130

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

Bibliogr.: p.128-130

Издательство:

Источник:

Lecture Notes in Computer Science

Том:

2931

Карточка:

Б3.54.

Hessel A., Larsen K. G., Nielsen B., Pattersson P., Skou A..

Time-Optimal Real-Time Test Case Generation Using UPPAAL: Springer// Lecture Notes in Computer Science-2004.-Vol. 2931.-P.114-130
Bibliogr.: p.128-130

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

PAP28 264