libcats.org
Главная

Validation of Stochastic Systems - A Guide to Current Research

Обложка книги Validation of Stochastic Systems - A Guide to Current Research

Validation of Stochastic Systems - A Guide to Current Research

, , , ,

This tutorial volume presents a coherent and well-balanced introduction to the validation of stochastic systems; it is based on a GI/Dagstuhl research seminar. Supervised by the seminar organizers and volume editors, established researchers in the area as well as graduate students put together a collection of articles competently covering all relevant issues in the area.

The lectures are organized in topical sections on

- modeling stochastic systems

- model checking of stochastic systems

- representing large state spaces

- deductive verification of stochastic systems.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

ВАЗ 2110i, -2111i, -2112i

Автор:
Категория: civil, civil, transport
Размер книги: 57.35 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

The house at Pooh Corner

Автор:
Категория: Сказка
Размер книги: 347 Kb

Foundation ASP for Dreamweaver 8

Автор: , Автор:
Размер книги: 11.49 Mb

Development Studies and Colonial Policy

Автор:
Категория: Образование
Размер книги: 3.51 Mb