1
Publications
17
Citations
1
H-Index
2009
Active since
Affiliations
Eva Fordran is an author at Fraunhofer Institute for Integrated Circuits specializing in process control, formal verification, and computer engineering.
Top concepts
EngineeringVerificationFormal MethodsProcess ControlComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2009–2009
1
1
Formal verification of UML-modeled machine controls
Thomas Klotz, Eva Fordran, Bernd Straube et al. · 2009 · 17 citations
Rows per page
1–1 of 1