1
Publications
18
Citations
1
H-Index
1987
Active since
Ted E. Wililams is an author specializing in computer engineering, formal verification, and hardware security.
Top concepts
EngineeringFormal MethodsComputer ScienceHardware SecurityParallel ComputingFormal VerificationComputer EngineeringAsynchronous CircuitsComputer Architecture
Publications per year
1987–1987
1
1
Mark R. Greenstreet, Jørgen Staunstrup, Ted E. Wililams · DAIMI Report Series · 1987 · 18 citations · Full text
Rows per page
1–1 of 1