Вы здесь

Главная

Quantitative Evaluation of Systems: Proc./16th International Conference, QEST 2019, Glasgow, UK, September 2019

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Ключевые слова: 
количественный
эволюция
формальная верификация
анализ производительности
надежность
формализм
моделирование
вероятностная модель
компьютерная безопасность
кибер-физическая система
встроенная система
формальный метод
алгоритм обучения
марковский процесс
верификация
model checking
Стр.: 
361 p.
Редактор: 
Parker D.
Wolf V.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11785
Карточка: 

Quantitative Evaluation of Systems: Proc./16th International Conference, QEST 2019, Glasgow, UK, September 2019Ed. by Parker D., Wolf V..-Berlin.: Springer, 2019.-Vol. 11785.-361 p.-(Lecture Notes in Computer Science).