Applicability of the BLAST Model Checker: An Industrial Case Study | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2010

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

реализация

применение

промышленный

Стр.:

P.218-229

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

Bibliogr.: p.228-229

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

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

Серия:

Lecture Notes in Computer Science

Источник:

Perspectives of Systems Informatics

Том:

5947

Карточка:

Б2.2, Б3.54.

Kolb E., Sery O., Weiss R..

Applicability of the BLAST Model Checker: An Industrial Case Study-Berlin.: Springer// Perspectives of Systems Informatics, 2010.-Vol. 5947.-P.218-229-(Lecture Notes in Computer Science).
Bibliogr.: p.228-229

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

PAP31 512