Memorias de investigación
Research Project:
NSAFECER: SAFETY CERTIFICATION OF SOFTWARE-INTENSIVE SYSTEMS WITH REUSABLE COMPONENTS
Year:2015

Research Areas
  • Information technology and adata processing

Information
Abstract
A falta de descripción
International
Si
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
ARTEMIS / Ministerio de Industria
Entity Nationality
Sin nacionalidad
Entity size
Desconocido
Granting date
Participants

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software