Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Model-based Verification of Safety Contracts
Año:2014
Áreas de investigación
  • Ingenierías
Datos
Descripción
The verification of safety becomes crucial in critical systems where human lives depend on the correct functioning of such systems.
Internacional
Si
Nombre congreso
1st Workshop on Safety and Formal Methods SaFoMe 2014
Tipo de participación
960
Lugar del congreso
Grenoble, Francia
Revisores
Si
ISBN o ISSN
978-3-319-15201-1
DOI
Fecha inicio congreso
01/09/2014
Fecha fin congreso
01/09/2014
Desde la página
101
Hasta la página
115
Título de las actas
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Clara Benac Earle (UPM)
  • Autor: María Elena Gómez Martínez (UPM)
  • Autor: Ricardo Julio Rodríguez Fernández (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • 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
S2i 2021 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)