Observatorio de I+D+i UPM

Memorias de investigación
Research Publications in journals:
A testing-based approach to ensure the safety of shared resource concurrent systems
Year:2016
Research Areas
Information
Abstract
0
International
Si
JCR
Si
Title
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY
ISBN
1748-006X
Impact factor JCR
0,86
Impact info
Volume
230
10.1177/1748006X15614231
Journal number
5
From page
457
To page
472
Month
Ranking
0
Participants
  • Autor: lars-ake fredlund (UPM)
  • Autor: julio marino (UPM)
  • Autor: raul n. n. alborodo
  • Autor: angel herranz (UPM)
Research Group, Departaments and Institutes related
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
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)