Observatorio de I+D+i UPM

Memorias de investigación
Responsibilities:
Miembro del comité gestor de la acción COST IC0701
Year:2011
Research Areas
  • Information technology and adata processing,
  • Programming language
Information
Abstract
La acción europea COST IC0701 reúne a investigadores de más de 20 instituciones europeas para avanzar en el conocimiento de métodos para la verificación automática de SW orientado a objetos.
International
Si
Date
Place
Type
Responsabilidades en cómites internacionales
Participants
  • Autor: Julio Mariño Carballo (UPM)
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
S2i 2020 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)