Z. Alkhalifa is an author at Motorola (United States) specializing in formal methods, computer engineering, and system software.
Top concepts
EngineeringVerificationFormal MethodsProcess ControlSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware Analysis
Publications per year
1999–1999
1
1
Rows per page
1–1 of 1