Вы здесь
Programming and Verifying critical Systems by Means of the Synchronous Data-Flow Language LUSTRE
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1991
Ключевые слова:
Стр.:
P.112-119.
Реферат:
Программирование и верификация критических систем с помо ью языка синхронных потоков данных LUSTRE.
Библиография:
Bibliogr.: p.119.
Где проводился:
Источник:
Номер:
5
Том:
16
Форум:
Карточка:
Б2.4, Б3.33.
Ratel C., Halbwachs N., Raymond P..
Programming and Verifying critical Systems by Means of the Synchronous Data-Flow Language LUSTRE// Software Engineering Notes-1991, №5.-Vol. 16.-P.112-119.
Bibliogr.: p.119.
Таблица в старой библиотеке:
ACM1 511