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. (Contact us about this Publication) |
| 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: | 16 Feb 2021 12:34 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/23516 (The current URI for this page, for reference purposes) |
| Howells, Gareth: |  https://orcid.org/0000-0001-5590-0880 |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
