Вы здесь

Главная

Runtime Verification: Proc./5th International Conference, RV 2014, Toronto,ON,Canada, September 2014

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2014
Ключевые слова: 
параллелизм
принудительное решение
отладка
распределенная система
динамический
верификация
обнаружение ошибки
исправление
формальная верификация
программное обеспечение
машинное обучение
multi core
составление расписания
безопасность
символический
выполнение
trace
визуализация
Стр.: 
358 p.
Редактор: 
Bonakdarpour B.
Smolka S. A.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
8734
Карточка: 

Runtime Verification: Proc./5th International Conference, RV 2014, Toronto,ON,Canada, September 2014Ed. by Bonakdarpour B., Smolka S. A..-Berlin.: Springer, 2014.-Vol. 8734.-358 p.-(Lecture Notes in Computer Science).

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