Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
Model-based Verification of Safety Contracts
Year:2014
Research Areas
  • Engineering
Information
Abstract
The verification of safety becomes crucial in critical systems where human lives depend on the correct functioning of such systems.
International
Si
Congress
1st Workshop on Safety and Formal Methods SaFoMe 2014
960
Place
Grenoble, Francia
Reviewers
Si
ISBN/ISSN
978-3-319-15201-1
Start Date
01/09/2014
End Date
01/09/2014
From page
101
To page
115
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Participants
  • Autor: Clara Benac Earle (UPM)
  • Autor: María Elena Gómez Martínez (UPM)
  • Autor: Ricardo Julio Rodríguez Fernández (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
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2019 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)