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

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