2
Publications
96
Citations
2
H-Index
1984
Active since
Affiliations
University of California, Irvine(Current)
Leveson is an author at University of California, Irvine specializing in software engineering, systems engineering, and software analysis.
Top concepts
EngineeringSoftware AnalysisSystems EngineeringSoftware EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram Analysis
Publications per year
1984–1995
2
2
Software Safety in Computer-Controlled Systems
Rows per page
1–2 of 2