Symbolic Reachability of Probabilistic Linear Hybrid Automata | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2005

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

верификация

формальный

спецификация

гибридный

вероятностный

оценка производительности

Стр.:

P.2972-2981

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

Bibliogr.: p.2980-2981

Источник:

IEICE Transactions

Номер:

11

Том:

E88-A

Карточка:

Б2.11, Б2.2.

Mitsuda Y., Kato T., Yamane S..

Symbolic Reachability of Probabilistic Linear Hybrid Automata// IEICE Transactions-2005, №11.-Vol. E88-A.-P.2972-2981
Bibliogr.: p.2980-2981

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

PAP30 554