Verification of Quantitative Temporal Properties of SDL Specifications

Вы здесь

Автор:

Ober I.

Kerbrat A.

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

Вид:

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

Год:

2001

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

sdl

верификация

Стр.:

P.182-202

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

Bibliogr.: p.201-202

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

Springer

Источник:

Lecture Notes in Computer Science

Том:

2078

Карточка:

Б2.23, Б3.54.

Ober I., Kerbrat A..

Verification of Quantitative Temporal Properties of SDL Specifications: Springer// Lecture Notes in Computer Science-2001.-Vol. 2078.-P.182-202
Bibliogr.: p.201-202

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

PAP23 548