Proyectos
Internacional
Nacional
OTRI
Estructuras
Cátedras
Spinoff Startups
HUB Digital de Innovación
Portal científico
Idioma
Español
Inglés
|
Memorias de investigación
|
Grupos de Investigación
|
Estructuras
HOME
Grupos de Investigación
Departamentos UPM
Centros/Institutos I+D+i
Escuelas y facultades
Cátedras Universidad Empresa
Actividad
×
(2013) Grupo de Investigación: COSTA (Verification, Analysis and Transformation)
Opciones
Exportar a Excel
Cambiar año
2013
Tipos de actividades
Proyectos de I+D+i
Publicaciones
Formacion de inv
Explotación
Otros méritos
Proyectos de I+D+i y generación de recursos
Subtipos de actividades
Proyectos de I+D+i
Todos
Proyecto de I+D+i
Doves (Development of Verifiable And Efficient Software)
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
European Masters on Software Engineering
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Hats: Highly Adaptable And Trustworthy Software Using Formal Models
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Prometidos: Programa de Metodos Rigurosos de Desarrollo de Software de la Comunidad de Madrid
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Tecnicas Avanzadas de Verificacion de Aplicaciones Concurrentes
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas