RT-Z: An Integration of Z and timed CSP | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1999

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

интеграция

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

встроенный

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

Стр.:

p.29-48

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

Bibliogr.: p.48

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

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

Источник:

Карточка:

Б3.51, А3.45.

Suhl C..

RT-Z: An Integration of Z and timed CSP-London, Berlin.: Springer// IFM 99, 1999.-p.29-48
Bibliogr.: p.48

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

PAP22 494