Beth Schroeder is an author at Binghamton University specializing in engineering, formal verification, and computer science.
Top concepts
EngineeringComputer ScienceFormal VerificationSystems EngineeringMonitoringData ScienceFormal MethodsSafety ScienceData ManagementRisk Management
Publications per year
1995–2002
2
2
On-line monitoring: a tutorial
Beth Schroeder · Computer · 1995 · 138 citations
Rows per page
1–2 of 2