Memorias de investigación
Research Publications in journals:
Synthesis of verifiable concurrent Java components from formal models
Year:2019

Research Areas

Information
Abstract
0
International
Si
JCR
Si
Title
SOFTWARE AND SYSTEMS MODELING
ISBN
1619-1366
Impact factor JCR
1,722
Impact info
Volume
18
10.1007/s10270-017-0581-1
Journal number
1
From page
71
To page
105
Month
Ranking
0
Participants

Research Group, Departaments and Institutes related
  • 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