A formal framework to test soft and hard deadlines in timed systems
ISSN: 0960-0833, 1099-1689
Any de publicació: 2012
Volum: 22
Número: 8
Pàgines: 583-608
Tipus: Article
ISSN: 0960-0833, 1099-1689
Any de publicació: 2012
Volum: 22
Número: 8
Pàgines: 583-608
Tipus: Article