Вы здесь

Главная

Quantitative Evaluation of Systems: Proc./18th International Conference, QEST 2021, Paris, France, August 2021

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Ключевые слова: 
анализ корреляции
встроенная система
формальный метод
теория графов
марковский процесс
model checking
численные методы
оценка производительности
вероятность
архитектура по
случайный процесс
Стр.: 
469 p.
Редактор: 
Abate A.
Marin A.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12846
Карточка: 

Quantitative Evaluation of Systems: Proc./18th International Conference, QEST 2021, Paris, France, August 2021Ed. by Abate A., Marin A..-Berlin.: Springer, 2021.-Vol. 12846.-469 p.-(Lecture Notes in Computer Science).