Verification and validation of knowledge-based program supervision systems / verificacion y validacion de sistemas de supervision de programas basados en el conocimiento.

Tesis doctoral de M. Mar Marcos Lopez La supervisión de programas tiene cono objetivo la automatización de las distintas actividades […]

, , , , ,