A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Jagadeesan L. J.

Von Olnhausen J. E.

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

1

Вид:

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

Год:

1996

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

реактивный

синхронный

программирование

формальный

верификация

телекоммуникации

Стр.:

P.123-151.

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

Bibliogr.: p.150-151

Источник:

Formal Methods in System Design

Номер:

2

Том:

8

Карточка:

Б3.33, Б3.1.

Jagadeesan L. J., Puchol C., Von Olnhausen J. E..

A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL// Formal Methods in System Design-1996, №2.-Vol. 8.-P.123-151.
Bibliogr.: p.150-151

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

PAP15 154