Numerical Software Verification: Proc./10th International Workshop, NSV 2017, Heidelberg, Germany, July 2017 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

Сборник или журнал

Год:

2017

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

гибридная система

абстрактный

технология

идентификация

параметры

метод оптимизации

числовой

верификация

встроенная система

неопределенность

вероятностная модель

исправление

числовой

программа

верификация

кибер-физическая система

Стр.:

115 p.

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

10381

Карточка:

Numerical Software Verification: Proc./10th International Workshop, NSV 2017, Heidelberg, Germany, July 2017Ed. by Abate A., Boldo S..-Berlin.: Springer, 2017.-Vol. 10381.-115 p.-(Lecture Notes in Computer Science).

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

MONO12 569