Verificación Automática de Requisitos Temporales Usando Kronos

• Autores: A. Oliveros, S. Yovine, C. Daws
• Localización: I Jornadas de Trabajo de Ingeniería del Software / coord. por José Miguel Toro Bonilla , 1996, págs. 111-120
• Idioma: español
• Texto completo no disponible (Saber más ...)