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

Research Areas
  • Information technology and adata processing

Information
Abstract
A falta de descripción
International
No
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
ARTEMIS/Comisión Europea
Entity Nationality
Sin nacionalidad
Entity size
Gran Empresa (>250)
Granting date
21/12/2012
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