A formal framework to test soft and hard deadlines in timed systems

  1. Merayo, M.G.
  2. Núñez, M.
  3. Rodríguez, I.
Revista:
Software Testing Verification and Reliability

ISSN: 0960-0833,  1099-1689

Año de publicación: 2012

Volumen: 22

Número: 8

Páginas: 583-608

Tipo: Artículo

DOI: 10.1002/STVR.448 GOOGLE SCHOLAR
Fuente de los datos: Scopus