1
Publications
114
Citations
1
H-Index
2003
Active since
E. Howald is an author specializing in computer engineering, dynamic reliability, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisDynamic ReliabilityFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2003–2003
1
1
A new approach to solve dynamic fault trees
Suprasad V. Amari, Glenn Dill, E. Howald · 2003 · 114 citations
Rows per page
1–1 of 1