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

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