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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

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

Древо жизни

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

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Лёнька Пантелеев

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

Sean Williams & Simon Brown - The Masque Of Agamemnon(1)

Автор:
Размер книги: 61 Kb

Древо жизни

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

Инженерные конструкции

Автор: , Автор: , Автор:
Категория: color, architect, civil, building
Размер книги: 45.59 Mb