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...

وصف كامل

محفوظ في:

التفاصيل البيبلوغرافية
مؤلف مشترك:	International Haifa Verification Conference ( Haifa, Israel)
مؤلفون آخرون:	Yahav, Eran (edición) (edición)
التنسيق:	وقائع المؤتمر كتاب
اللغة:	الإنجليزية
منشور في:	Cham, Suiza : Springer, 2014, c2014
سلاسل:	(Lecture Notes in Computer Science ; 8855)
الموضوعات:	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
الوصول للمادة أونلاين:	Ver documento en línea
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

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

منشور في 2013, c2013

Ver documento en línea

وقائع المؤتمر كتاب