Danielle Stewart is an author at University of Minnesota specializing in formal methods, verification, and computer engineering.
Top concepts
EngineeringVerificationFormal MethodsSafety ScienceSpace EngineeringSafety EngineeringFormal VerificationSystems EngineeringComputer EngineeringFlight Risk Analysis
Publications per year
2021–2021
1
1
Rows per page
1–1 of 1