Items where Author is "Schostak, Daniel Paul"

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.

Thesis

Schostak, Daniel Paul (2003) Methodology for the formal specification of RTL RISC processor designs (with particular reference to the ARM6). PhD thesis, University of Leeds.

This list was generated on Fri Mar 29 02:59:10 2024 GMT.