Memorias de investigación
Research Project:
PROCODE - Rigorous methods for the development of software systems with certified quality and reliability
Year:2019

Research Areas
  • Computer systems

Information
Abstract
Rigorous methods for the development of software systems with certified quality and reliability
International
No
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
Ministerio de Ciencia e Innovación
Entity Nationality
ESPAÑA
Entity size
Desconocido
Granting date
Participants

Research Group, Departaments and Institutes related
  • Creador: Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
  • Departamento: Inteligencia Artificial