S. Koerner is an author at IBM (Germany) specializing in hardware security, formal verification, and parallel computing.
Top concepts
EngineeringVerificationSystem SoftwareComputer ScienceProgram AnalysisHardware SecurityParallel ComputingFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2002–2002
1
1