Browne is an author at Texas Tech University specializing in systems engineering, computer science, and engineering.
Top concepts
EngineeringComputer ScienceSoftware TestingSystems EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareHardware SystemsProgram Analysis
Publications per year
1984–2012
5
5
Automatic Verification of Sequential Circuits Using Temporal Logic
Browne, Clarke, Dill et al. · IEEE Transactions on Computers · 1986 · 203 citations · Full text
Cognitive Stopping Rules for Terminating Information Search in Online Tasks1
Browne, Pitts, Wetherbe · MIS Quarterly · 2007 · 139 citations
Understanding Execution Behavior of Software Systems
Rows per page
1–5 of 5