Вы здесь

Главная

Quantitative Evaluation of Systems: Proc./17th International Conference, QEST 2020, Vienna, Austria, September 2020

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Ключевые слова: 
количественная оценка
формальная верификация
количественная верификация
анализ производительности
надежность
моделирование
формализм
вероятностная модель
встроенная система
формальный метод
машинное обучение
марковский процесс
марковские цепи
эволюция по
model checking
queuing networks
Стр.: 
299 p.
Редактор: 
Gribaudo M.
Jansen D. N.
Remke A.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
21261
Том: 
12289
Карточка: 

Quantitative Evaluation of Systems: Proc./17th International Conference, QEST 2020, Vienna, Austria, September 2020Ed. by Gribaudo M., Jansen D. N., Remke A..-Berlin.: Springer, 2020.-Vol. 12289.-299 p.-(Lecture Notes in Computer Science).