Compositional Methods in Characterization of Timed Event Structures | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2012

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

тестирование

временная структура событий

отношение

логический

характеристика

Стр.:

P.68-76

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

Bibliogr.: p.76

Место издания:

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

Серия:

Lecture Notes in Computer Science

Том:

7162

Карточка:

Б2.2, Б2.1.

Bozhenkova E..

Compositional Methods in Characterization of Timed Event Structures-Berlin.: Springer, 2012.-Vol. 7162.-P.68-76-(Lecture Notes in Computer Science).
Bibliogr.: p.76

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

PAP31 768