Back to University of Twente portal
A test generation framework for quiescent real-time systems - extended version
Brandán Briones, L. and Brinksma, H. (2004) A test generation framework for quiescent real-time systems - extended version. [Report]
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png) | PDF Restricted to UT campus only 281Kb |
| Item Type: | Report |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Link to this item: | http://purl.utwente.nl/publications/63416 |
| Official URL: | http://www.ub.utwente.nl/webdocs/ctit/1/0000010b.pdf |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page