Concepedia

Aviziens

AV

Statistics

Publications

1

Citations

187

H-Index

1

Active since

1976

Affiliations

University of California System(Current)

Aviziens is an author at University of California System specializing in computer engineering, formal verification, and hardware security.

Top concepts

EngineeringFormal MethodsFault ToleranceComputer ScienceHardware SecuritySoftware AnalysisFormal VerificationSystems EngineeringComputer EngineeringComputer Architecture

Publications per year

1976–1976

1

Publications

1

Fault-Tolerant Systems

Aviziens · IEEE Transactions on Computers · 1976 · 187 citations

Hardware Security, Reliability Engineering, Engineering +14

1–1 of 1