1
Publications
22
Citations
1
H-Index
2011
Active since
Affiliations
K-S Hielscher is an author at Friedrich-Alexander-Universität Erlangen-Nürnberg specializing in computer engineering, system software, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareEmbedded SystemsSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
2011–2011
1
1
Rows per page
1–1 of 1