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

Cur síos iomlán

Sonraí bibleagrafaíochta

Údar corparáideach:	Encuentro Internacional de Vinculación Empresa-Escuela Asia/Jalisco ( ITESO)
Rannpháirtithe:	Ramesh, S. (conferencia)
Formáid:	Imeacht comhdhála Sleamhnán
Teanga:	Spáinnis
Foilsithe / Cruthaithe:	Guadalajara, México : ITESO, 2005
Sraith:	(Encuentro Internacional de Vinculación Empresa-Escuela Asia/Jalisco ; 18)
Ábhair:	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.
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!