A formal framework to test soft and hard deadlines in timed systems
ISSN: 0960-0833, 1099-1689
Año de publicación: 2012
Volumen: 22
Número: 8
Páginas: 583-608
Tipo: Artículo
ISSN: 0960-0833, 1099-1689
Año de publicación: 2012
Volumen: 22
Número: 8
Páginas: 583-608
Tipo: Artículo