Verificación formal para software industrial para aplicaciones de seguridad crítica : perspectiva para cinco años /

El Encuentro Internacional de Vinculación Empresa-Escuela Asia/Jalisco fue un encuentro cultural, académico y empresarial que se celebró de agosto a noviembre del 2005 en la ciudad de Guadalajara, que buscaba fortalecer la internacionalización educativa como factor para el desarrollo, la innovación...

Ausführliche Beschreibung

Bibliographische Detailangaben

Körperschaft:	Encuentro Internacional de Vinculación Empresa-Escuela Asia/Jalisco ( ITESO)
Weitere Verfasser:	Ramesh, S. (conferencia)
Format:	Tagungsbericht Dia
Sprache:	Spanisch
Veröffentlicht:	Guadalajara, México : ITESO, 2005
Schriftenreihe:	(Encuentro Internacional de Vinculación Empresa-Escuela Asia/Jalisco ; 18)
Schlagworte:	Ingenieros Hindúes Académicos Hindúes Universidad y Empresa - > Congresos - > Tema Principal Paquetes (Software) - > Prueba y Medición - > Tema Principal Depuración (Software) Desarrollo de Sistemas Programación (Software) Seguridad Industrial - > Tema Principal Diseño Industrial Ingeniería Industrial Ingeniería de Software Ingeniería Computacional Educación y Trabajo - > Congresos - > Tema Principal Ramesh, S.
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!