Hardware and Software : Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 : Proceedings /

Selección de las ponencias presentadas en la décima Conferencia Internacional de Verificación de Haifa, celebrada en Haifa, Israel, en noviembre de 2014. Los trabajos que se incluyen dan cuenta de los avances en el campo de las pruebas y verificación aplicadas al software, hardware y sistemas híbrid...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor corporativo:	International Haifa Verification Conference ( Haifa, Israel)
Otros autores:	Yahav, Eran (edición) (edición)
Formato:	Procedimiento de la conferencia Libro
Idioma:	Inglés
Publicado:	Cham, Suiza : Springer, 2014, c2014
Colección:	(Lecture Notes in Computer Science ; 8855)
Temas:	Componentes (Hardware) - > Prueba y Medición - > Tema Principal Arquitectura de Computadoras - > Prueba y Medición Paquetes (Software) - > Prueba y Medición - > Tema Principal Arquitectura de Software - > Prueba y Medición Ingeniería de Software Computadoras - > Prueba y Medición - > Tema Principal Computadoras - > Prueba y Medición - > Congresos - > Tema Principal Sistemas Expertos - > Tema Principal Sistemas Computacionales - > Prueba y Medición Ingeniería Computacional
Acceso en línea:	Ver documento en línea
Etiquetas:	Agrega una etiqueta Sin etiquetas, Sé el primero en etiquetar este registro!

Hardware and Software : Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : Revised Selected Papers /

Publicado 2013, c2013

Ver documento en línea

Procedimiento de la conferencia Libro