John M. Covan is an author at Mitchell Institute specializing in system software, formal methods, and safety engineering.
Top concepts
EngineeringReliabilityFormal MethodsSafety ScienceRisk ManagementSystem SoftwareComputer ScienceHardware SecurityCriticality SafetySafety Engineering
Publications per year
1998–1998
1
1
Passive Safety in High-Consequence Systems
Victor Winter, John M. Covan, L.J. Dalton · 1998 · 16 citations
Rows per page
1–1 of 1