A formal framework to test soft and hard deadlines in timed systems
ISSN: 0960-0833, 1099-1689
Year of publication: 2012
Volume: 22
Issue: 8
Pages: 583-608
Type: Article
ISSN: 0960-0833, 1099-1689
Year of publication: 2012
Volume: 22
Issue: 8
Pages: 583-608
Type: Article