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...
Sábháilte in:
| Údar corparáideach: | |
|---|---|
| Rannpháirtithe: | |
| Formáid: | Imeacht comhdhála |
| Teanga: | Spáinnis |
| Foilsithe / Cruthaithe: |
Guadalajara, México :
ITESO,
2005
|
| Sraith: | (Encuentro Internacional de Vinculación Empresa-Escuela Asia/Jalisco ;
18) |
| Ábhair: | |
| Clibeanna: |
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
Míreanna comhchosúla: Verificación formal para software industrial para aplicaciones de seguridad crítica :
- Practical Software Testing : A Process-Oriented Approach /
- Software Testing /
- Software Testing /
- Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013 : Revised Selected Papers /
- Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : Proceedings /
- Optimization of Electrical Validation and Debug Time in Reference Clocks /