Tailored Protocol Development Using ESTEREL | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Castelluccia C.

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

1

Колл. автор:

Вид:

Препринт

Год:

1994

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

протокол

спецификация

автоматический

проектирование

верификация

формальный

Стр.:

51 p.

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

Bibliogr.: p.40-42

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

Номер:

2374

Карточка:

А3.53.

Castelluccia C., Chrisment I., Dabbous W., Diot C., Huitema C., Siegel E., De Simone R..

Tailored Protocol Development Using ESTEREL-Cedex., 1994.-51 p.-(Препринт INRIA №2374).
Bibliogr.: p.40-42

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

PREP2 219