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