A formal framework to test soft and hard deadlines in timed systems
ISSN: 0960-0833, 1099-1689
Ano de publicación: 2012
Volume: 22
Número: 8
Páxinas: 583-608
Tipo: Artigo
ISSN: 0960-0833, 1099-1689
Ano de publicación: 2012
Volume: 22
Número: 8
Páxinas: 583-608
Tipo: Artigo