Wood, Stephen K. and Akehurst, David H. and Howells, Gareth and McDonald-Maier, Klaus D. Verification of Generated VHDL Systems. In: Fifth UK Embedded Forum, 23rd - 24th September 2009, Leicester, UK. (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 2014 15:53 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):