Aplicación de la "comprobación de modelos " en la verificación de la capa Web y en modelos de ascensores

Ingeniero de Sistemas y Computación

• Autores: Fajardo Hernández, Edgar Mauricio
• Tipo de recurso: Trabajo de grado de pregrado
• Fecha de publicación: 2008
• Institución: Universidad de los Andes
• Repositorio: Séneca: repositorio Uniandes
• Idioma: spa
• OAI Identifier: oai:repositorio.uniandes.edu.co:1992/24328
• Acceso en línea: http://hdl.handle.net/1992/24328
• Palabra clave: Desarrollo de software de aplicación; Lenguajes de programación (Computadores electrónicos digitales); Arquitectura de computadores; Ingeniería
• Rights: openAccess
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/