Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Verification of Timed Erlang Programs Using McErlang
Año:2012
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
Ponencia
Internacional
No
Nombre congreso
14th IFIP WG 6.1 International Conference FMOODS 2012 and 32nd IFIP WG 6.1 International Conference FORTE 2012
Tipo de participación
960
Lugar del congreso
Estocolmo, Suecia
Revisores
Si
ISBN o ISSN
978-3-642-30792-8
DOI
Fecha inicio congreso
13/06/2012
Fecha fin congreso
16/06/2012
Desde la página
251
Hasta la página
268
Título de las actas
Formal Techniques for Distributed Systems
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: Clara Benac Earle (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
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)