Thomas Joseph Brosnan is an author at Texas A&M University specializing in formal verification, computing systems, and integrated circuits.
Top concepts
EngineeringVlsi DesignVerificationFormal MethodsComputer ScienceHardware SystemsComputing SystemsHardware SecuritySignal ProcessingSoftware Analysis
Publications per year
1988–1988
1
1
Rows per page
1–1 of 1