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) (KAR id:23516)
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. |
Item Type: | Conference or workshop item (Paper) |
---|---|
Subjects: | T Technology > TK Electrical engineering. Electronics. Nuclear engineering > TK7800 Electronics > TK7880 Applications of electronics > TK7885 Computer engineering. Computer hardware |
Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Engineering and Digital Arts |
Depositing User: | J. Harries |
Date Deposited: | 11 Jan 2010 10:53 UTC |
Last Modified: | 05 Nov 2024 10:03 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):