Wood, Stephen K., Akehurst, David H., Howells, Gareth, McDonald-Maier, Klaus D. (2009) Verification of Generated VHDL Systems. In: Fifth UK Embedded Forum, Leicester, UK, September 2009. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
| The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication) |
| Item Type: | Conference or workshop item (Paper) |
|---|---|
| Subjects: | T Technology > TK Electrical engineering. Electronics Nuclear engineering > TK7800 Electronics (see also: telecommunications) > TK7880 Applications of electronics (inc industrial & domestic) > TK7885 Computer engineering |
| Divisions: | Faculties > Sciences > School of Engineering and Digital Arts > Image and Information Engineering |
| Depositing User: | J. Harries |
| Date Deposited: | 11 Jan 2010 10:53 UTC |
| Last Modified: | 28 May 2019 15:11 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/23516 (The current URI for this page, for reference purposes) |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
