3
Publications
165
Citations
3
H-Index
1998
Active since
Affiliations
Oliver Tschäche is an author at Friedrich-Alexander-Universität Erlangen-Nürnberg specializing in computer engineering, engineering, and formal methods.
Top concepts
EngineeringComputer EngineeringReliabilityVerificationFormal MethodsSystem SoftwareComputer ScienceSoftware TestingSoftware AnalysisFormal Verification
Publications per year
1998–2004
3
3
Rows per page
1–3 of 3