DTIC ADA041237: JAVS Final Report.Reportar como inadecuado



 DTIC ADA041237: JAVS Final Report.


DTIC ADA041237: JAVS Final Report. - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Descargar gratis o leer online en formato PDF el libro: DTIC ADA041237: JAVS Final Report.
As part of its program to improve software quality and reliability through the implementation of advanced technology, Rome Air Development Center has contracted with General Research Corporation for assistance in using GRC-s JOVIAL Automated Verification System (JAVS) to structurally test a large and complex operational program not designed for aut

Autor: Defense Technical Information Center

Fuente: https://archive.org/







Documentos relacionados