1
Publications
71
Citations
1
H-Index
2004
Active since
Affiliations
E. Neuhold is an author at Fraunhofer Institute for Secure Information Technology specializing in formal methods, verification, and formal verification.
Top concepts
Data MiningEngineeringData ScienceVerificationData ModelingFormal MethodsSoftware DesignComputer ScienceFormal VerificationSystems Engineering
Publications per year
2004–2004
1
1
Rows per page
1–1 of 1