Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : Proceedings /

Selección de ponencias de la quinta Conferencia Internacional sobre Verificación en Tiempo de Ejecución, celebrada en Toronto, Canadá, en septiembre de 2014. Los artículos cubren temas relacionados con monitoreo y corte de seguimiento, verificación en tiempo de ejecución de sistemas distribuidos, co...

Бүрэн тодорхойлолт

-д хадгалсан:
Номзүйн дэлгэрэнгүй
Байгууллагын зохиогч: International Conference on Runtime Verification ( Toronto, Canadá)
Бусад зохиолчид: Bonakdarpour, Borzoo (edición) (edición), Smolka, Scott A. (edición) (edición)
Формат: Бага хурлын үйл явц Ном
Хэл сонгох:англи
Хэвлэсэн: Cham, Suiza : Springer, 2014, c2014
Цуврал:(Lecture Notes in Computer Science ; 8734)
Нөхцлүүд:
Онлайн хандалт:Ver documento en línea
Шошгууд: Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Интернэт

Ver documento en línea
IT2-с авсан түр хойшлуулсан зүйлсийн дэлгэрэнгүй мэдээлэл
Зохиогчийн тэмдэгт:
Libro en línea
Ejemplar 567480-1
Disponible
Préstamo en línea
Цуглуулга:
Libros electrónicos en línea
Тэмдэглэлүүд:
Consultar en línea