Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
Verification of Timed Erlang Programs Using McErlang
Year:2012
Research Areas
  • Information technology and adata processing
Information
Abstract
Ponencia
International
No
Congress
14th IFIP WG 6.1 International Conference FMOODS 2012 and 32nd IFIP WG 6.1 International Conference FORTE 2012
960
Place
Estocolmo, Suecia
Reviewers
Si
ISBN/ISSN
978-3-642-30792-8
Start Date
13/06/2012
End Date
16/06/2012
From page
251
To page
268
Formal Techniques for Distributed Systems
Participants
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: Clara Benac Earle (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
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)