Heimdahl is an author at Twin Cities Orthopedics specializing in formal verification, formal methods, and engineering.
Top concepts
EngineeringVerificationFormal MethodsFormal VerificationSystems EngineeringFlight ControlSoftware DesignSoftware AnalysisSpace EngineeringSoftware Engineering
Publications per year
1995–2003
2
2
Mode confusion analysis of a flight guidance system using formal methods
Rows per page
1–2 of 2