Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2002

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

статический

программа

анализатор

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

критический

встроенный

верификация

Стр.:

P.85-108

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

Bibliogr.: p.106-108

Источник:

Lecture Notes in Computer Science

Том:

2566

Карточка:

Б2.23, Б3.5.

Blanchet B., Cousot P., Cousot R., Feret J., Mauborgne L., Mine A., Monniaux D., Rival X..

Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software// Lecture Notes in Computer Science-2002.-Vol. 2566.-P.85-108
Bibliogr.: p.106-108

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

PAP26 352